Context: CREATE TABLE table_name_7 (laps VARCHAR, driver VARCHAR)
Question: How many laps in total does the driver named Eddie Irvine have?
Answer: SELECT COUNT(laps) FROM table_name_7 WHERE driver = "eddie irvine"