function menuhide(menunum)
{
  var currentmenu = document.getElementById("navbody" + menunum);
  currentmenu.style.visibility = 'hidden';
}

function menushow(menunum)
{
  var currentmenu = document.getElementById("navbody" + menunum);
  currentmenu.style.visibility = 'visible';
}

function over(img,ref) { document.images[img].src = ref; }
function out(img,ref)  { document.images[img].src = ref; }