CREATE TABLE table_name_71 (attendance INT, record VARCHAR)

What was the average attendance at a game when the record was 6-13?
SELECT AVG(attendance) FROM table_name_71 WHERE record = "6-13"
SELECT AVG("attendance") FROM "table_name_71" WHERE "6-13" = "record"