function info(texte) 
	{
		if (document.getElementById)
		{
		    document.getElementById("infomenu").innerHTML = texte;
		}
		else if (document.all) 
		{
		   document.all["menu"].innerHTML = texte;
		}
	}
	
function info2(texte) 
	{
		if (document.getElementById)
		{
		    document.getElementById("infoaudio").innerHTML = texte;
		}
	}
	
function info3(texte) 
	{
		if (document.getElementById)
		{
		    document.getElementById("infoecran").innerHTML = texte;
		}
	}