Original: At the 2000 census the population was 12,938.
Simplified: At the 2000 census, the population was 12,938.