// Show and hide menu functions used for the main menu banner.
firsttime = 0;
closing = 0;


function openmenu(){

if (document.all){
		eval("document.all.menu.style.visibility = 'visible'");
}else if (document.layers){
		eval("document.menu.visibility = 'show'");
}else{
	//do nothing
}
}

function shutmenu(){
if (document.all){
		eval("document.all.menu.style.visibility = 'hidden'");
}else if (document.layers){
		eval("document.menu.visibility = 'hide'");
}else{
	//do nothing
}
closing = 0;

}

function showmenu(){

if (firsttime != 0){
	clearTimeout(goingtoclose);
	closing = 0;
	}
  openmenu();
}


function hidemenu(){
if (closing == 0){
	eval("goingtoclose = setTimeout(\"shutmenu()\", 200)");
	firsttime=1;
	closing = 1;
}
}