How many laps in total does the driver named Eddie Irvine have?
CREATE TABLE table_name_7 (laps VARCHAR, driver VARCHAR)
SELECT COUNT(laps) FROM table_name_7 WHERE driver = "eddie irvine"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_7 (laps VARCHAR, driver VARCHAR) Question: How many laps in total does the driver named Eddie Irvine have? [/INST] SELECT COUNT(laps) FROM table_name_7 WHERE driver = "eddie irvine" </s>