function intPageHeight() {
	// http://www.quirksmode.org/viewport/compatibility.html
	var x,y;
	var test1 = document.body.scrollHeight;
	var test2 = document.body.offsetHeight
	if (test1 > test2) // all but Explorer Mac
	{
		//x = document.body.scrollWidth;
		y = document.body.scrollHeight;
	}
	else // Explorer Mac;
	//would also work in Explorer 6 Strict, Mozilla and Safari
	{
		//x = document.body.offsetWidth;
		y = document.body.offsetHeight;
	}
	return y;
}

function intScreenHeight() {
	// http://www.quirksmode.org/viewport/compatibility.html
	var x,y;
	if (self.innerHeight) // all except Explorer
	{
		// x = self.innerWidth;
		y = self.innerHeight;
	}
	else if (document.documentElement && document.documentElement.clientHeight)
	// Explorer 6 Strict Mode
	{
		// x = document.documentElement.clientWidth;
		y = document.documentElement.clientHeight;
	}
	else if (document.body) // other Explorers
	{
		// x = document.body.clientWidth;
		y = document.body.clientHeight;
	}
	
	return y;
}


function setMargeKolomHeight(){
	intFtHeight=getElt('theFooter').offsetHeight;		
	intActHeight=getElt('tblContent').offsetHeight;		
	
	var objFooter;
	objFooter=getElt('theFooter');
	
	intTotalHeight = intPageHeight();
	intActTop=110; //css waarde van allecontent top
	
	intUsed=intActHeight+intActTop;
	
	var objRMenu;
	objRMenu=getElt('margeKolom');
	
	
	intTotalHeight = intPageHeight();
	
	/*
	alert('total:' + intTotalHeight);
	alert('used:' + intActHeight);
	alert('footer:' + intFtHeight)
	alert('screen:' + intScreenHeight());
	*/
	
	
	if (intUsed + intFtHeight <= intScreenHeight()) {
		objFooter.style.top=intTotalHeight-intFtHeight;
		objRMenu.style.height=intTotalHeight - (headerHeight + navSmallHeight ) - intFtHeight;
	} else {
		objFooter.style.top=intTotalHeight;
		objRMenu.style.height=intTotalHeight - (headerHeight + navSmallHeight );
	}
	
	objRMenu.style.visibility='visible';
	//voor Opera: tblRechterMenu.style.height=intTotalHeight - intMbHeight - intObHeight - intFtHeight;
	//alert(objRMenu.offsetHeight);
	//document.rechtermenu.style.height=document.body.clientHeight-80-obj.clientHeight;
}