with (window.location) {
    var Index = /\/index\.html?$/;
    var Hostname = "www.comphonia.co.jp";
    if (host != Hostname || Index.test(pathname))
        replace("http://" + Hostname + pathname.replace(Index, "") + search + hash);
}