// JavaScript Document

function menu(name){
	idDiv = name+"Div";
	idImg = name+"Img";
	img1 = "img/"+name+"Haut1.gif";
	img2 = "img/"+name+"Haut2.gif";
	
	div = document.getElementById(idDiv);
	image = document.getElementById(idImg);	
	display = div.style.display;
	
	if (display=='' || display=='block'){
		div.style.display='none';
		image.src = img2;
	}
	else{
		div.style.display='block';
		image.src = img1;
	}
}