CREATE TABLE table_name_25 (time NUMBER, stage VARCHAR2, year VARCHAR2)

What is the total amount of time for years prior to 2013 when speed option is the stage?
SELECT SUM(time) FROM table_name_25 WHERE stage = "speed option" AND year < 2013
SELECT SUM("time") FROM "table_name_25" WHERE "speed option" = "stage" AND "year" < 2013