function urlTo(url) 
  {
			if (navigator.appName == "Microsoft Internet Explorer") {
			window.navigate(url);
			}
			else if (navigator.appName == "Netscape") {
			window.location.replace(url);
			}		
  }
  function mySubmit(gotoPage) {
		
		document.forms[0].page_request.value = gotoPage;
		document.forms[0].submit();
  }
  
  function badcode(){
  parent.page_has_loaded = 0;
  }