<!--
function modificaaltezza(){
	co1 = document.getElementById('page').offsetHeight;
	co2 = document.getElementById('pagina').offsetHeight;

	altok = co2;
	if (co1 > altok) altok = co1 - 31;

	document.getElementById('pagina').style.height = altok + 'px';

}
//-->