Question: In 2010 , how many people lived in the town in Citrus County , Florida where the Old Hernando Elementary School was located ?
Answer: 9,054