CREATE TABLE table_name_75 (laps INTEGER, driver VARCHAR(255))
What's the average laps driven by david coulthard?
    
SQL: SELECT AVG(laps) FROM table_name_75 WHERE driver = "david coulthard"