Instruct: How many laps in total does the driver named Eddie Irvine have?
Output: SELECT COUNT Laps FROM table WHERE Driver = eddie irvine