// JavaScript Document
var menutimer = null;
var submenus = 0;

function sub_menu(quel) {
	hide_submenus();
	document.getElementById('sm'+quel).style.display = 'block';
	document.getElementById('s'+quel).className = 'submenuON';
	//menutimer = setTimeout( "hide_submenus()", 6000 );
}

function hide_submenus() {
	clearTimeout(menutimer);
	for(var i = 1; i <= submenus; i++) {
		document.getElementById('sm'+i).style.display = 'none';
		document.getElementById('s'+i).className="submenu"
	}
}
function time_submenus() {
	menutimer = setTimeout( "hide_submenus()", 8000 );
}