// JavaScript Document
//survol des boutons de navigation
function green(val)
{
		document.getElementById(val).style.backgroundColor="#6b8211";
}
function blue(val)
{
		document.getElementById(val).style.backgroundColor="#738ba7";
}

//pour le mouse over
function ouvre(n)
{
	document.getElementById(n).style.visibility = 'visible';
 
}
function cache(n)
{
	document.getElementById(n).style.visibility = 'hidden';
}