<!--

var timer, i, menuId;

function setVisibility(element, newVisibility)
{ 
  document.getElementById(element).style.visibility = newVisibility;
}

function setBoldText(id, bbold)
{ 
  document.getElementById('visibleMenu'+id).getElementsByClassName('menuItem')[0].style.fontWeight = bbold;
}

function menu()
{
  setVisibility('menuHolder','visible');
}

function showMenu(id)
{
  clearTimeout(timer);
  for (i = 1; i <= 4; i++) if (i != id){ 
                              setVisibility('hiddenMenu' + i,'hidden');
                              //setBoldText(i,'normal');
                            }
  setVisibility('hiddenMenu' + id,'visible');
  //setBoldText(id,'bold');
}

function hideMenu(id)
{
  menuId = 'hiddenMenu' + id;
  timer = setTimeout("setVisibility(menuId,'hidden')",50);
  //setBoldText(id,'normal');
}


function dontHideMenu(id)
{
  clearTimeout(timer); 
  //setBoldText(id,'bold');
}

-->