What was the attendance for the game that has a tie number of 13?
CREATE TABLE "second_round_proper" (
  "tie_no" text,
  "home_team" text,
  "score" text,
  "away_team" text,
  "attendance" real
);
SELECT SUM("attendance") FROM "second_round_proper" WHERE "tie_no"='13';