Question: How many people work in the school where Ross Porter was educated?
Answer: 11,900