<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">

<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
	<title>Enter remote host url</title>
<script type="text/javascript">

function doSubmit() {
    var url = document.getElementById("url").value;
    setCookie(encodeURIComponent(url));  
}

function loadHandler() {
    document.getElementById("url").value = getHelpPath();
}

function testURL() {  
    var url = document.getElementById("url").value;
    setCo