// Adjust menu layer height for Explorer
if(navigator.appName.indexOf("Micro") != -1 && document.all)
{
 menus.style.top = "95px";
}

function show(menu)
{

  if (document.layers)
    {	
		document.layers['content'].zIndex = -1;
		document.layers['menus'].zIndex = 3;		
    	document.layers['menus'].document.layers[menu].visibility = "visible";
	}
  else if (document.all)
   { 
		content.style.zIndex = -1;
		menus.style.zIndex = 3;
    	document.all(menu).style.visibility = "visible";
   }
}

function hide(menu) //Dummy function
{

  if (document.layers)
   {	
   		document.layers['menus'].zIndex = -1;	
		document.layers['content'].zIndex = 3;			
    	document.layers['menus'].document.layers[menu].visibility = "hidden";
	}
  else if (document.all)
    {
		content.style.zIndex = 3;
		menus.style.zIndex = -1;
    	document.all(menu).style.visibility = "hidden";
	}
	

}