Maybe I've missed something, but what's the problem with OCEAN. When I TELNET
to ocean.muohio.edu, I get a reply that this is an unknown address. It worked
fine until last week.
 
John B