CREATE TABLE table_name_73 (laps VARCHAR(255), driver VARCHAR(255))
How many laps did Eddie Irvine have?
    
SQL: SELECT laps FROM table_name_73 WHERE driver = "eddie irvine"