Input (grade 5): As of 2000, the population of Texas County was 20,107.
Output (grade 5): As of 2000, the population of Texas County is 20,107.