A lot of people ask me about that. Martin has approx. 11K as a city, the campus is approx 7K from what I was told. We’ve always had a pretty good size student body and school mainly being in 3A or a big 2A. If Martin was listed at 17K by including college population and not going by school student count we’d easily be 4 or 5A.