in 2010 , how many people lived in the town where the old hernando elementary school was located ?
9,054