Original: As of 2007, the United States Census Bureau estimated the population of the city to be 12,846 "American FactFinder".
Simplified: As of 2006, the United States Census Bureau estimated the population of the city to be 12,703 United States Census Bureau.