Question: What is the enrollment at the university where Old Main is located?
Answer: 72,000