Attendance for a high schools football game is approximately normal, with an average attendance per game of 1000 fans and an SD of 200. if the school charges 10 per ticket what percentage of time does the school have a revenue more than 12500?