// JavaScript Document


var opn_menu = '';
var menu_tmr;

function showmenu(menid) {
	if(menid != opn_menu) {
		hidemenu();
		document.getElementById(menid).style.display = 'block';
		opn_menu = menid;
	}
}

function hidemenu() {
	if(opn_menu != '') {
		document.getElementById(opn_menu).style.display = 'none';
		opn_menu = '';
	}
}

function set_timer() {
	menu_tmr = setTimeout('hidemenu()',2000);	
}

function killtimer() {
	clearTimeout(menu_tmr);
}