Input (grade 8): According to the U.S. Census Bureau estimates of 2008, the city had a population of 11,920.2007 Population Estimates United States Census Bureau.
Output (grade 5): According to the U.S Census estimates of 2005, the city had a population of 12,435.