How many pupils are in Mangotsfield?

This context does not mention anything about the number of pupils in Mangotsfield, so I cannot answer this question from the provided context.