Original: The population was 9,435 at the 2000 census.
Simplified: There were about 9,435 people living in Mound as of the 2000 census.