var agt=navigator.userAgent.toLowerCase();
	var is_ie  = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
	
	function MaxHeight(){
	
		var height = document.getElementById("header").offsetHeight;
		var col = new Array();
		col[0] = document.getElementById("colCentrale")
		col[1] = document.getElementById("colDx")
		
		height += Math.max(col[0].offsetHeight, col[1].offsetHeight)
		/*if (is_ie){
			height -= 160;
		}else{*/
			height -= 220;
		/*}*/
		document.getElementById("content").style.height = height;
		for (var i=0; i<col.length; i++){
			col[i].style.height = height
		}
	}
window.onload = MaxHeight