average_ohio_citizen (142.800)