var to_id;
var to_msec = 125;
function closeSubMenu () {
	clearTimeout(to_id);
	to_id = setTimeout(hideSubMenu, to_msec);
}
function hideSubMenu () {
//		alert('hideSubMenu()');
	document.getElementById('submenu1').style.display = "none";
	document.getElementById('submenu2').style.display = "none";
	document.getElementById('submenu3').style.display = "none";
	document.getElementById('submenu4').style.display = "none";
}
function showSubMenu($menuname) {
	clearTimeout(to_id);
	hideSubMenu();
	document.getElementById($menuname).style.display = "block";
}
function overSubMenu () {
	clearTimeout(to_id);
}