CREATE TABLE table_name_75 (laps INT, driver VARCHAR)

What's the average laps driven by david coulthard?
SELECT AVG(laps) FROM table_name_75 WHERE driver = "david coulthard"
SELECT AVG("laps") FROM "table_name_75" WHERE "david coulthard" = "driver"