Original: As of the 2000 census, the city had a total population of 13,337.
Simplified: As of the 2000 census, the city had a total population of 13,337, an increase of about a thousand people since the 1980 census of 12,331.