// <![CDATA[
var div; 			// div scorrevole
var altezza;		// altezza del div scorrevole
var divContenuto 	// div del contenuto principale della pagina 
var differenza;		// differenza fra altezza del div del contenuto e quella del div scorrevole

function altezzaDivScorrevole(nomeDiv, altezzaDiv, nomeDivContenuto, differenzaAltezza) {
	if(!document.getElementById || !document.createTextNode){return;}
	div = document.getElementById(nomeDiv);
	altezza = altezzaDiv;
	divContenuto = document.getElementById(nomeDivContenuto);
	differenza = differenzaAltezza;
	if (divContenuto.clientHeight - differenza > altezza) {
		altezza = divContenuto.clientHeight - differenza;
	}
	div.style.height = altezza + "px";
	return altezza;
}
// ]]>