In 2000, the population of Ohio was about 4% of the population of the entire United States. The population of the United States in 2000 was about 281,422,000 people. What was Ohio's population in 2000?​