Input (grade 6): As of the United States 2000 Census, the city population was 7,638.
Output (grade 3): As of the United States 2000 Census, 7,638 lived in it.