CREATE TABLE table_name_53 (laps INTEGER, time_retired VARCHAR(255))
How many laps were there when time/retired was gearbox?
    
SQL: SELECT SUM(laps) FROM table_name_53 WHERE time_retired = "gearbox"