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