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 . As of the 2000 census , the city had a total population of 13,337 .