CREATE TABLE table_name_24 (year_set VARCHAR(255), long_course_short_course VARCHAR(255), time VARCHAR(255))
What year did a short course have a time of 7:51.80?
    
SQL: SELECT COUNT(year_set) FROM table_name_24 WHERE long_course_short_course = "short course" AND time = "7:51.80"