CREATE TABLE table_name_35 (laps VARCHAR, grid VARCHAR)

How many laps were there for a grid of 13?
SELECT COUNT(laps) FROM table_name_35 WHERE grid = 13
SELECT COUNT("laps") FROM "table_name_35" WHERE "grid" = 13