// Section goMenu : appelée dans le onload des pages pour laisser le menu nécessaire apparaître.
function goMenu(n)
{
document.getElementById("menu"+n).style.position = 'relative';
		if(n == 1)
        {
        document.all.menu1.style.display = 'block';
        }
        if(n == 2)
        {
        document.all.menu2.style.display = 'block';
        }
		if(n == 3)
        {
        document.all.menu3.style.display = 'block';
        }
		if(n == 4)
        {
        document.all.menu4.style.display = 'block';
        }
        
}

// Section Roll Over : Selon la valeur de currentBT on fait un mouse out ou non : cf. setNav(bt) ci dessous.
function navRoll(id,state) {

	state = (state) ? "_on" : "_off";

	if (currentBT != id)
	{ 
	document.images[id].src = "img/" + id + state + ".gif";
	}
	else
	{
	document.images[id].src = "img/" + currentBT + "_sel" + ".gif";
	}
}	

function navHome(id,state) {

	state = (state) ? "_on" : "_off";

	if (currentBT != id)
	{ 
	document.images[id].src = "en/img/" + id + state + ".gif";
	}
	else
	{
	document.images[id].src = "en/img/" + currentBT + "_sel" + ".gif";
	}
}	

// setNav(bt) : appelée dans le onload des pages pour laisser le bouton (bt) a 'on'
// var currentBT : on met la variable currentBT a null a chaque appel de la page : elle prendra la valeur de 'bt'

var currentBT = null;

function setNav(bt) 
{
	currentBT = bt;
	navRoll(bt,1);
}

//fonction pour le menu déroulant
function jumpMenu(){
	if (document.DirectLinks.select1.options[document.DirectLinks.select1.selectedIndex].value != "none")
	{
	location = document.DirectLinks.select1.options[document.DirectLinks.select1.selectedIndex].value
	}
}

//fonction pour popup

//function open_window(url,w,h) {
//	window.open(url,"win",'toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=0,resizable=0,width=' + w + ',height=' + h + ',top=20,left=20')
//}



//fonction pour changement de langues

function LangEn() 
	{ window.location.href = window.location.href.replace("/fr/","/en/") } 
  
function LangFr() 
	{ window.location.href = window.location.href.replace("/en/","/fr/") }