what was the sum of the crowd sizes when the home team scored 9.17 (71)?
12000.0