Original: At the time of the 2000 U.S. census, its population was 4,185.
Simplified: At the 2000 census the population was 4,185.