Input (grade 5): At the 2000 census the population was 12,938.
Output (grade 5): At the 2000 census, the population was 12,938.