CREATE TABLE table_name_93 (laps INT, driver VARCHAR)

What is the total number of laps with a Driver of eddie irvine?
SELECT SUM(laps) FROM table_name_93 WHERE driver = "eddie irvine"
SELECT SUM("laps") FROM "table_name_93" WHERE "driver" = "eddie irvine"