function swapNav(num,etat) {
	document.getElementById("navG"+num).className = "navG"+etat;
	document.getElementById("navD"+num).className = "navD"+etat;
	document.getElementById("nav"+num).className = "navBG"+etat;
}

function swapImg(nom,etat,format) {
	document[nom].src = '/_images/'+nom+'_'+etat+'.'+format;
}

function swapSideNav(num,etat) {
	document.getElementById("sideNav"+num).className = "sideNav_"+etat;
}