How many children in a secondary school?

I was asking this question myself just now, but I've just sort of realised that it depends. For instance, some big secondary schools have loads of pupils, and some private schools have hardly any. I can guess about 800, at an average, but it's a complete wild guess, so don't bet on it.