CREATE TABLE table_name_10 (year INTEGER, result VARCHAR(255))
What is the sum of Year, when Result is 9th?
    
SQL: SELECT SUM(year) FROM table_name_10 WHERE result = "9th"