var timerID = 0;

function hide_help() {
	document.getElementById('menu_aide').style.display='none'
}

function show_help() {
	if (timerID) {
		clearTimeout(timerID);
		timerID=0;
	}
}

function chrono_hide_help() {
	timerID = setTimeout("hide_help()", 500);
}