function navigate(url)
{ // alert("The URL is: " + url);
  if(url == "null")
  { alert("Please select a page that you want to Go To...");
    return false;
  }
  else window.location = url;
}

function mail(account,domain) { window.location = "mailto:" + account + "@" + domain; }

function show(id)
{ document.getElementById(id).style.visibility = "visible";
}

function hide(id)
{ document.getElementById(id).style.visibility = "hidden"
}