function showMenu () {
	document.getElementById("submenu").style.display = "block";
	if(typeof(timerID) != "undefined") clearTimeout(timerID);
}
function hideMenu () {
	timerID = setTimeout("document.getElementById('submenu').style.display = 'none'", 300);
}