/* Gestion du menu */ 
function swapMenu(whichcontent) 
{ 
	if (document.all||document.getElementById)
	{ 
		cross_el = document.getElementById ? document.getElementById("menus") : document.all.menus; 
		cross_el.innerHTML = whichcontent; 
	} else if (document.layers)
	{ 
		document.ilayer.document.layer.document.write(whichcontent);
		document.ilayer.document.layer.document.close(); 
	} 
}