Original: As of the 2000 census, the population of the city is 12,288.
Simplified: As of the 2000 census, the population of the city was 12,288.