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