How Many Public School Teachers Are There