what was mike hailwood's highest laps when he had a grid more than 7?
none