var ctime;

// Turn submenu off
function turnSubmenuOff(){	
	ctime = setTimeout("document.getElementById('submenu').style.visibility = 'hidden'", 3000); 
}

// Turn submenu on
function turnSubmenuOn(){	
	clearTimeout(ctime);
	document.getElementById('submenu').style.visibility = 'visible';
}

