CREATE TABLE table_name_16 (laps INTEGER, driver VARCHAR(255), grid VARCHAR(255))
What was Mike Hailwood's highest laps when he had a grid more than 7?
    
SQL: SELECT MAX(laps) FROM table_name_16 WHERE driver = "mike hailwood" AND grid > 7