function mostraMenu(menuID){
	setVisibility("scelte"+menuID,"visible");
	menuFocus("titolo"+menuID,"over");
}
function nascondiMenu(menuID){
	setVisibility("scelte"+menuID,"hidden");
	menuFocus("titolo"+menuID,"out");
}
function menuFocus(elementID,stato){
	if (stato=='over'){
		setCursor("pointer",elementID);
		setColor(elementID,"white");
		setBackground(elementID,"trasparent"); 
	}
	else{
		setCursor("auto",elementID);
		setColor(elementID,"black");
		setBackground(elementID,"trasparent");  
	}
}
//setta la visibilità di un elemento a vis
function setVisibility(elementID,vis){
	var elemento = getObj(elementID);
	if (vis == true || vis=='visible')
		elemento.style.visibility = "visible";
	else
		elemento.style.visibility = "hidden"; 
}
//cambia il tipo di cursore, secondo argomento opzionale
function setCursor(cursortype,elementID){
	if (elementID==null) 
		document.body.style.cursor = cursortype;
	else 
		getObj(elementID).style.cursor = cursortype; 
}
// restituisce un riferimento all?oggetto il cui ID è 
// passato come input
function getObj(elementID){
   if (typeof elementID == "string") 
      return document.getElementById(elementID);
   else
  return elementID;
}
//setta il colore di sfondo di un elemento
function setBackground(elementID, colore){
	getObj(elementID).style.background = colore;
}
//setta il colore di primo piano di un elemento
function setColor(elementID, colore){
	getObj(elementID).style.color = colore;
}