Original: As of 2000, the population of Texas County was 20,107.
Simplified: As of 2000, the population of Texas County is 20,107.