var minContentHeight = -1;		 // -1 - nicht ermittelt, sonst min. Höhe des Inhalts
function sizeContent() {
	var isIE = (document.all != null);
	var h_body = (isIE ? (document.documentElement ? document.documentElement.clientHeight : document.clientHeight) : window.innerHeight);
	var objDiv = $("content_container");
	var height = 163;
	if ( objDiv == null ) { objDiv = $("sem_content_container"); height=173; }
	if ( objDiv == null ) return;
	var h_content = h_body - document.getElementById('footer').offsetHeight - height;
	if (minContentHeight == -1) minContentHeight = objDiv.offsetHeight;
	//window.status = h_body + " " + h_content + " " + minContentHeight;
	if (h_content > minContentHeight) objDiv.style.height = h_content+'px';
}
sizeContent();