// JavaScript Document
function show_menu(a,b){ 
	for(i=1;i<11;i++){
		document.getElementById('idees_'+i).style.zIndex = 1;
	}
	document.getElementById('ssmenu_'+a).style.display = b;
	document.getElementById(a).style.zIndex = 2;
}