CREATE TABLE table_name_78 (laps VARCHAR, rank VARCHAR)

What is the lap number for the rank of 13?
SELECT laps FROM table_name_78 WHERE rank = "13"
SELECT "laps" FROM "table_name_78" WHERE "13" = "rank"