web1.hoperedefined.org

This server is up and running.