What is the average number of laps when the grid number is 9?
CREATE TABLE table_40141 (
    "Rider" text,
    "Manufacturer" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
)
SELECT AVG("Laps") FROM table_40141 WHERE "Grid" = '9'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the average number of laps when the grid number is 9? ### Input: CREATE TABLE table_40141 (
    "Rider" text,
    "Manufacturer" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
) ### Response: SELECT AVG("Laps") FROM table_40141 WHERE "Grid" = '9'