

function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function formHandler(form){
var URL = document.form.site.options[document.form.site.selectedIndex].value;
window.location.href = URL;
}


function formHandler2(form2){

var URL = document.form2.site.options[document.form2.site.selectedIndex].value;

window.location.href = URL;

}



function formHandler3(form3){

var URL = document.form3.site.options[document.form3.site.selectedIndex].value;

window.location.href = URL;

}



var menuskin    = "skin1";
var display_url = 1;
function showmenuie5() {
 var rightedge = document.body.clientWidth-event.clientX;
 var bottomedge = document.body.clientHeight-event.clientY;
 if (rightedge < ie5menu.offsetWidth) ie5menu.style.left = document.body.scrollLeft + event.clientX - ie5menu.offsetWidth;
 else ie5menu.style.left = document.body.scrollLeft + event.clientX;
 if (bottomedge < ie5menu.offsetHeight) ie5menu.style.top = document.body.scrollTop + event.clientY - ie5menu.offsetHeight;
 else
 ie5menu.style.top = document.body.scrollTop + event.clientY;
 ie5menu.style.visibility = "visible";
 return false;
}
function hidemenuie5() {
 ie5menu.style.visibility = "hidden";
}
function highlightie5() {
 if (event.srcElement.className == "menuitems")
 {
   event.srcElement.style.backgroundColor = "#CECECE";
   event.srcElement.style.color = "white";
   if (display_url) window.status = event.srcElement.url;
 }
}
function lowlightie5() {
 if (event.srcElement.className == "menuitems")
 {
   event.srcElement.style.backgroundColor = "";
   event.srcElement.style.color = "black";
   window.status = "";
 }
}
function jumptoie5() {
 if (event.srcElement.className == "menuitems")
 {
   if (event.srcElement.getAttribute("target") != null) window.open(event.srcElement.url, event.srcElement.getAttribute("target"));
   else window.location = event.srcElement.url;
 }
}


