Input (grade 11): As of 2007, the United States Census Bureau estimated the population of the city to be 12,846 "American FactFinder".
Output (grade 12): As of 2006, the United States Census Bureau estimated the population of the city to be 12,703 United States Census Bureau.