location.replace('http://" . $url[host] . ":" . $port . "');"; ?>