function GetId(id) {return document.getElementById(id);}

// Boite d'aide
function open_help(txt) {
	
	GetId("helpbox").innerHTML = txt;
	clearTimeout(timeoutID);
	
}

function close_help() {
	
	tmp = GetId("hide_helpbox").value;
	timeoutID = setTimeout(function() {GetId("helpbox").innerHTML = tmp;}, 1000);
	
}