Schema: CREATE TABLE table_name_70 (rank INTEGER, time VARCHAR)
Question: what is the rank when the time is 3:12.40?
SQL: SELECT SUM(rank) FROM table_name_70 WHERE time = "3:12.40"