. "100000.0"^^ . . "1995-01-01Z"^^ . "1001.0"^^ . "-4" . "-5" . . . "238.049"^^ . . "2.51747e+07"^^ . "238.0"^^ . "45414" . . "2.517e+07"^^ . "103600.0"^^ . "1001.05"^^ . "Riverside, Ohio"@en . "2.52783e+07"^^ . "Mayor"@en . "2.528e+07"^^ . "City Manager"@en . "Riverside is a city in Montgomery County, Ohio, United States. The population was 25,201 at the 2010 census. It is part of the Dayton Metropolitan Statistical Area."@en . . "25201"^^ . . "\"Pride. Progress. Possibilities\"" .