Original: As of 2000, the population was 172,493.
Simplified: As of 2000, the population is 172,493.