Original: As of the United States 2000 Census, the city population was 7,638.
Simplified: As of the United States 2000 Census, 7,638 lived in it.