 They're pretty high. The numbers got back in. It looks like we had 90. I don't have those numbers broke down per individual grade. The enrollment as it stands right now, I just got some numbers came in. It looks like it's 2,482. Harmon says the district will likely be up in student population this year. I don't think there's going to be any doubt. It's going to be more students, which is great news. Might have some growing pains with it, but more kids, that's great. First day of classes for Weatherford Public Schools is August 8th.