CREATE TABLE table_name_16 (laps INT, driver VARCHAR, grid VARCHAR)

What was Mike Hailwood's highest laps when he had a grid more than 7?
SELECT MAX(laps) FROM table_name_16 WHERE driver = "mike hailwood" AND grid > 7
SELECT MAX("laps") FROM "table_name_16" WHERE "driver" = "mike hailwood" AND "grid" > 7