CREATE TABLE table_name_26 (laps INTEGER, year VARCHAR(255))
How many laps were done in 2012?
    
SQL: SELECT SUM(laps) FROM table_name_26 WHERE year = 2012