Table: grand_prix_1972
Columns: driver
constructor
laps
time_retired
grid

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