At big city school, 4,248 students ride school buses to school. if this number is 90% of the school enrollment, how many students are enrolled?