Table schema:
CREATE TABLE table_name_87 (laps INTEGER, grid VARCHAR)

Question: What is the average laps for Grid 9?
SQL: SELECT AVG(laps) FROM table_name_87 WHERE grid = 9