<!--
function jModificaAltezza(){
	co1 = document.getElementById('contenitore_menu').offsetHeight;
	co2 = document.getElementById('contenuto').offsetHeight;

	altok = co1;
	if (co2 > altok) altok = co2;
	
	document.getElementById('contenitore_menu').style.height = altok + 'px';
	//document.getElementById('contenuto').style.height = altok + 'px';
}
function jModificaAltezzaHP(){
	//
}
//-->