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 .