// JavaScript Document
function contentresize() {
	
  var myWidth = 0, myHeight = 0, offset = 0;

if( typeof( window.innerWidth ) == 'number' ) {
	  
    //Non-IE
//	alert("FF?");
	myHeight = window.innerHeight;
	offset = -10; //bijstelling om het contentDiv toch goed uit te laten komen.
	
  } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
	  
    //IE 6+ in 'standards compliant mode'
    myHeight = document.documentElement.clientHeight;
//	alert("IE");
	offset = -19; //bijstelling om het contentDiv toch goed uit te laten komen.
	
  } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {

	//IE 4 en IE7 compatible
    myHeight = document.body.clientHeight;
//	alert("IE4 and IE7");
	offset = -19; //bijstelling om het contentDiv toch goed uit te laten komen.	
  }


	var kopH	= document.getElementById('kop_tabel').offsetHeight;
	
	var navH = document.getElementById('nav_tabel').offsetHeight;
	var contentH = document.getElementById('content_tabel').offsetHeight;
	var grijsmenuH = 0;

	if (document.getElementById('grijsmenu_tabel') != null) {
		grijsmenuH = document.getElementById('grijsmenu_tabel').offsetHeight;
//		alert(grijsmenuH);
	}


	var totaalH = kopH  + navH + contentH + grijsmenuH;

	// Haal het content.object op
	var contentObj = document.getElementById('content_tabel');


	// Bereken de nieuwe hoogte
	var newHeight = myHeight - (kopH  + navH + grijsmenuH) + offset;

	// Stel de nieuwe hoogte in
	contentObj.style.height = newHeight + "px";

}