Original: According to the 2007 U.S. Census estimates, the city had a population of 8,705.
Simplified: At the 2000 census the population was 8,794.