function allungaHeightDiv()
	{
		var visualizzazioneHeight = document.getElementById("corpo_visualizzazione").offsetHeight;
		var menuSx = document.getElementById("corpo_menuSX");
		var corpo = document.getElementById("corpo");
		
		if(visualizzazioneHeight>376)
		{
			menuSx.style.height = visualizzazioneHeight+"px";
			corpo.style.height = visualizzazioneHeight+"px";
		}
	}