Input (grade 4): As of 2000, the population was 12,623.
Output (grade 4): As of 2000, the population is 12,623.