which mascot has an enrollment of 640?
vikings