// JavaScript Document
var menu = 0;
var timer;
function showmenu(n) {
	clearTimeout(timer);
	opentime = (menu==0 ? 100 : 1);
	if (n!=menu) timer = setTimeout("showmenureal("+n+")", opentime);
}
function showmenureal(n) {
	var om = document.getElementById('m'+menu);
	var o = document.getElementById('m'+n);
	
	if (menu!=0) om.style.display = "none";
	o.style.display = "block";
	menu = n;
}
function hidemenu() {
	clearTimeout(timer);
	timer = setTimeout("hidemenureal()", 500);
}
function hidemenureal() {
	var om = document.getElementById('m'+menu);
	if (menu!=0) om.style.display = "none";
	menu = 0;
}