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