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");
	
	if( col[1] != null )
		height += Math.max(col[0].offsetHeight, col[1].offsetHeight);
	else
		height = col[0].offsetHeight;
		
	height -= 220;

	document.getElementById("content").style.height = height;
	for (var i=0; i<col.length; i++){
		if(col[i] != null)col[i].style.height = height;
	}
}