Question: How many people are enrolled in Ohio as of Fall 2014?
Answer: 3712