What was Mike Hailwood's highest laps when he had a grid more than 7?
CREATE TABLE "classification" (
  "driver" text,
  "constructor" text,
  "laps" real,
  "time_retired" text,
  "grid" real
);
SELECT MAX("laps") FROM "classification" WHERE "driver"='mike hailwood' AND "grid">7;