Instruct: What was the total crowd size when the away team scored 17.13 (115)?
Output: SELECT COUNT Crowd FROM table WHERE Away team score = 17.13 (115)