Something went wrong with one of my machines on campus. It is using DHCP. For some reason the name server stopped working for it, probably in March. I tried to ping the name server and it didn't respond. Another box in the same room, which is static and not DHCP, continued to work as before. It made me wonder if they made some kind of security change. Because of the work I'm doing with that machine (only connecting from the other one), I haven't bothered to find out yet what the deal is. Mike