CREATE TABLE table_name_71 (extra_laps VARCHAR(255), total_points VARCHAR(255))
What is the number of extra laps for 9 total points?
    
SQL: SELECT extra_laps FROM table_name_71 WHERE total_points = "9"