function menu_colora(cosa,quando)
	{
		if (quando =="1")
		{window.document.getElementById(cosa).className='td_hover'}
		if (quando =="0")
		{window.document.getElementById(cosa).className='td_normale';}
	}