Table schema:
CREATE TABLE table_name_73 (laps VARCHAR, driver VARCHAR)

Question: How many laps did Eddie Irvine have?
SQL: SELECT laps FROM table_name_73 WHERE driver = "eddie irvine"