How many laps in total does the driver named Eddie Irvine have?
CREATE TABLE table_name_7 (laps VARCHAR, driver VARCHAR)
SELECT COUNT(laps) FROM table_name_7 WHERE driver = "eddie irvine"
### 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"