/* show / hide menus */

var visible_menu=null ;
var in_use=null ;

var menuTimer = null;
var timerOn = false;
var timecount = 300;

function useMenu(m) {
in_use=m ;
}

function closeMenu() {
if (visible_menu) {
	visible_menu.style.display='none' ;
	visible_menu=null ;
	in_use=null ;
	stopTime() ;
	}
}

function openMenu(mnu) {
closeMenu() ;
visible_menu=document.getElementById(mnu) ;
visible_menu.style.display='block' ;
in_use=visible_menu ;
}

function menuItemOver() {
useMenu(visible_menu) ;
stopTime() ;
}

function menuItemOut() {
startTime() ;
}

function startTime() {
if (!timerOn) {
	menuTimer=setTimeout( "closeMenu()" , timecount);
	timerOn = true;
	}
}

function stopTime() {
if (timerOn) {
	clearTimeout(menuTimer);
	menuTimer = null;
	timerOn = false;
	}
}