var timer, i, menuId;

var dom = document.getElementById ? true : false;
var ie4 = ((document.all) && (!dom)) ? true : false;
var ns4 = document.layers ? true : false;
var opera = navigator.userAgent.indexOf('Opera') != -1 ? true : false;
var dhtml = dom ? true : ie4 ? true : ns4 ? true : false;

if (dhtml) document.write
	('<style type="text/css">#scriptSupport {display: none;} #menuholder {position: absolute; left:5px; top:0px; visibility: hidden; z-index: 1;} #hiddenMenu1, #hiddenMenu2, #hiddenMenu3,  #hiddenMenu4,  #hiddenMenu5,  #hiddenMenu6,  #hiddenMenu7 {position: absolute; visibility: hidden;} #visibleMenu1 {position: absolute; left: 0px; top: 0px;} #visibleMenu2 {position: absolute; left: 110px; top: 0px;} #visibleMenu3 {position: absolute; left: 220px; top: 0px;} #visibleMenu4 {position: absolute; left: 330px; top: 0px;} #visibleMenu5 {position: absolute; left: 440px; top: 0px;} #visibleMenu6 {position: absolute; left: 550px; top: 0px;} #visibleMenu7 {position: absolute; left: 659px; top: 0px;} #hiddenMenu1 {left: 0px; top: 21px;} #hiddenMenu2 {left: 110px; top: 21px;} #hiddenMenu3 {left: 220px; top: 21px;} #hiddenMenu4 {left: 330px; top: 21px;} #hiddenMenu5 {left: 440px; top: 21px;} #hiddenMenu6 {left: 550px; top: 21px;} #hiddenMenu7 {left: 659px; top: 21px;}</style>');

function setVisibility(element,newVisibility)
{ 
  if (dhtml)
  {
    if (dom) document.getElementById(element).style.visibility = newVisibility;
    else if (ie4) document.all[element].style.visibility = newVisibility;
    else if (ns4) eval('document.' + element + '.visibility = newVisibility');
  }
}

function menu()
{
  if (dhtml)
  {
    if (opera) for (i = 1; i <= 7; i++) document.getElementById('hiddenMenu' + i).style.top = 20;
    if (ie4) for (i = 1; i <= 7; i++) document.all['hiddenMenu' + i].style.top = 18;
    setVisibility('menuholder','visible');
  }
}

function showMenu(id)
{
  if (dhtml)
  {
    clearTimeout(timer);
    for (i = 1; i <= 7; i++) if (i != id) setVisibility((ns4 ? 'menuholder.document.' : '') + 'hiddenMenu' + i,'hidden');
    setVisibility((ns4 ? 'menuholder.document.' : '') + 'hiddenMenu' + id,'visible');
  }
}

function hideMenu(id)
{
  if (dhtml)
  {
    menuId = (ns4 ? 'menuholder.document.' : '') + 'hiddenMenu' + id;
    timer = setTimeout("setVisibility(menuId,'hidden')",500);
  }
}

function dontHideMenu()
{
  if (dhtml) clearTimeout(timer);
}