CREATE TABLE table_name_73 (laps VARCHAR, driver VARCHAR)

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