the school nicknamed the wildcats has what sum of enrollment?
15253.0