Original: 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.
Simplified: According to the U.S Census estimates of 2005, the city had a population of 12,435.