//-- Funzioni per la gestione del Menu
function Rollover(arg){
	ancora=String(arg.id);
	riga = document.getElementById("riga"+ ancora);
	
	ch= trim(arg.outerText.substring(0,1)); 
	titolo=arg.outerText.substring(1); 
	if (ch == '+')
	{
		arg.innerText = '-' + titolo;
		riga.style.display = 'inline';
	}
	else{
		arg.innerText = '+' + titolo;
		riga.style.display = 'none';
	}
}   

//-- Funzioni per la gestione delle stringhe


function trim(arg){
  return lTrim(rTrim(arg));
}
function lTrim(arg){
  return arg.replace(/^\s+/,'');
}
function rTrim(arg){
  return arg.replace(/\s+$/,'');
}