CREATE TABLE table_name_96 (attendance INTEGER, tie_no VARCHAR(255))
What was the attendance for the game that has a tie number of 13?
    
SQL: SELECT SUM(attendance) FROM table_name_96 WHERE tie_no = "13"