CREATE TABLE table_name_17 (laps VARCHAR(255), car_no VARCHAR(255))
How many laps did car 23 do?
    
SQL: SELECT laps FROM table_name_17 WHERE car_no = "23"