function howHigh() {

if (document.getElementById('contentarea')){


	if (navigator.appName.indexOf("Microsoft")!=-1) {
			//var window_height = document.getElementById('page').offsetHeight;
			//var top_container = document.getElementById('right-top-container').offsetHeight;
			//var margin_diff = window_height - top_container - 433;
			
			//alert (window_height + ' - '+top_container+' -> '+margin_diff);
			
			//document.getElementById('right-bundy-bear').style.marginTop = margin_diff+"px";
			//document.getElementById('left-nav').style.height = window_height+"px";		
	}
	else {
	

			//var content_table_height = document.getElementById('main-content-table').offsetHeight;
			var page_height = window.innerHeight;
			var content_column_height = document.getElementById('page').offsetHeight;
			
			if (page_height > content_column_height) {
			var new_height = document.getElementById('contentarea').offsetHeight + (page_height - content_column_height) - 10;
			document.getElementById('contentarea').style.height = new_height+"px";
			}
		
			
			//alert (window.innerHeight);
			//alert (content_table_height + ' - ' + middle_column_height);
			/*
			if (content_table_height >= middle_column_height) {window_height = content_table_height;}
			else {
				window_height = middle_column_height;
				if (navigator.userAgent.indexOf("Safari")==-1) {
					var middle_column_height = middle_column_height + 52;
				}
				document.getElementById('left-nav').style.height = middle_column_height+"px";
			}
			
			//var top_container = document.getElementById('right-top-container').offsetHeight;
			var top_container = document.getElementById('right-top-container').offsetHeight;
			//var margin_diff = window_height - top_container - 683;
			var margin_diff = window_height - top_container - 683;
			
			//alert (window_height + ' - '+top_container+' -> '+margin_diff);

			document.getElementById('right-bundy-bear').style.marginTop = margin_diff+"px";
		*/
	}
}
//alert ('shell_1 -> '+shell_height+' body height -> '+window_height);

//document.getElementById(shell).style.height = window_height+"px";
}