function hide(id) {
    if (document.getElementById){
      obj = document.getElementById(id);
      if (obj.style.display == ""){
        obj.style.display = "none";
	                        }
                               }
                } 

  function show(id) {
    if (document.getElementById){
      obj = document.getElementById(id);
      if (obj.style.display == "none")
	  {obj.style.display = "";}
	  else
	   if (obj.style.display == ""){
        obj.style.display = "none";
	                        }
                               }
                }
 
 // JUMP MENU
function goto(a){
   if(a!='h0'){
      location.hash = a;
   }
}


function goTo(obj)
{
  var destination = obj.options[obj.selectedIndex].value;
  if (destination)
  {
    location.href = destination;
  }
}