How many teachers are there in school?