function switchid(s) {
	//prendo in ingresso un ID e switcho la proprietà display tra visible e nascosta
	var elem;
	elem=document.getElementById(s);
	
	if (! elem) {
		//alert("Non ho trovato un id "+s+" in "+menuframe);
		return;
	}
	//alert(elem);
	var actual=elem.style.display;
	if (actual=="none") elem.style.display="";
	else elem.style.display="none";
}