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