how many students attend the community college of battle creek , mi ?
8,400