George is moving later today. The new IP is 12.109.66.146. I can be reached at oconnoem@cs.rose-hulman.edu if anything goes horribly wrong. It may take a few days for all the various DNS issues to work out.