What was Mike Hailwood's highest laps when he had a grid more than 7?
CREATE TABLE table_name_16 (laps INTEGER, driver VARCHAR, grid VARCHAR)
SELECT MAX(laps) FROM table_name_16 WHERE driver = "mike hailwood" AND grid > 7
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_16 (laps INTEGER, driver VARCHAR, grid VARCHAR) Question: What was Mike Hailwood's highest laps when he had a grid more than 7? [/INST] SELECT MAX(laps) FROM table_name_16 WHERE driver = "mike hailwood" AND grid > 7 </s>