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 .