How many students are at leon high school?

According to the Florida Department of Education, Leon High School has 2,671 students enrolled in grades 9-12 for the 2019-2020 school year.