CREATE TABLE table_51325 ("Driver" TEXT, "Constructor" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

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