what's the highest enrollment among the schools?
4046.0