(from "129.10.115.112" to "129.10.117.167" for "/")
(from "129.10.115.112" to "129.10.117.167" for "/Defaults/documentation/web-server.gif")
(from "129.10.115.112" to "129.10.117.167" for "/Defaults/documentation/plt-logo.gif")
(from "129.10.115.112" to "129.10.117.167" for "/servlets/index.ss")
(from "129.10.115.112" to "129.10.117.167" for "/servlets/releaseinfo.html")
