/*Menu JS dynamique*/

/*Exécuté au chargment de la page*/
var timer;
var HIDE = 5;

function init(id)
{
	hide(id);
}

function showMenu(id)
{
	document.getElementById(id).style.visibility="visible";
	document.getElementById(id).style.display="block";
	timer = setTimeout("showMenu('"+id+"')",60*1000);
}

function hideMenu(id)
{
	clearTimeout(timer);
	timer=setTimeout("hide('"+id+"')",HIDE*1000);
}

function hide(id)
{
		document.getElementById(id).style.visibility="hidden";
		document.getElementById(id).style.display="none";
}