var dh = function () {
	// dh : div-hoogte functie ================================================== //
	// deze functie bepaald de hoogte van de scrollbare div in de pagina ======== //
	// twee instellingen zijn mogelijk: de hoogte van de 'kop' ================== //
	// de id van de gewenste DIV ================================================ //


	// de margin-top zoals die in de DIV komt te staan;
	var marginTop = 5;
	
	// de border zoals die in de DIV komt te staan;
	var divBorder = "0px black solid";
	
	// de breedte zoals dat in de div komt
//	var divWidth = 590;
		
	// de id van de scrollbare div =============================================== //
	var scrollDiv = 'scrolldiv';
	
	//============================================================================= //
	var scrollDivObj = document.getElementById(scrollDiv);

	if (scrollDivObj==null) 
		return false;
		
	// heading: dit is de hoogte van de kop van de pagina. Dit is een berekende waarde: top van de maintable//
	var heading = nodes.parentNodeBy (scrollDivObj, "id=maintable").offsetTop;

	if (!document.body)
		return false;
	
	var w = false;
	
	if (window.innerHeight) 
    	 w = window.innerHeight;
	else 
		if (document.body.clientHeight) 
	    	w = document.body.clientHeight;
		 else 
			return false;
	
	if (isNaN(w)) 
		return false;


	var divHeight = w - heading - marginTop ;
	divHeight < 1 ? divHeight = 1: divHeight = divHeight
	scrollDivObj.style.height = divHeight;
	scrollDivObj.style.marginTop = marginTop;
	scrollDivObj.style.border = divBorder;
//	scrollDivObj.style.width = divWidth;
	scrollDivObj.style.overflow = 'auto';
	scrollDivObj.style.overflowX ='hidden';
	scrollDivObj.style.visibility = 'visible';
//	scrollDivObj.style.scrollbarFaceColor = '#0097E4';
//	scrollDivObj.style.scrollbarHighlightColor = '#0097E4';
//	scrollDivObj.style.scrollbarShadowColor = '#0097E4';
//	scrollDivObj.style.scrollbar3dlightColor = '#fff';
//	scrollDivObj.style.scrollbarArrowColor = '#fff';
//	scrollDivObj.style.scrollbarDarkshadowColor = '#0097E4';
//	scrollDivObj.style.scrollbarBaseColor = '#fff';	
}