Original: According to the U.S Census estimates of 2005, the city had a population of 13,436.
Simplified: The population was 13,368 at the 2000 census.