function getElement(aID)
    {
        return (document.getElementById) ?
            document.getElementById(aID) : document.all[aID];
    }

    function getIFrameDocument(aID){ 
        var rv = null; 
        var frame=getElement(aID);
        // if contentDocument exists, W3C compliant (e.g. Mozilla) 
        if (frame.contentDocument)
            rv = frame.contentDocument;
        else // bad IE  ;)
            rv = document.frames[aID].document;
        return rv;
    }

    function adjustMyFrameHeight()
    {
        var frame       = getElement("contentFrame");
		var menufil     = getElement("menufiller"); 
        var frameDoc    = getIFrameDocument("contentFrame");
        var menuHeight  = document.getElementById("menu").offsetHeight-document.getElementById("menubottom").offsetHeight;
		var frameHeight = 350; /* minimum height */

        /* frame.height = frameDoc.body.offsetHeight; <-- werkt niet in IE */
        if (navigator.appName == "Microsoft Internet Explorer") {
          if (frameDoc.body.scrollHeight > frameHeight) {
  	        frameHeight = frameDoc.body.scrollHeight;
		  }
		  
		  frame.style.height   = frameHeight+'px';
          /*
		    als je hier een error op krijgt dan is het frame nietgenoeg gevuld...
		    zet in de content wat <br>'s neer... (ongeveer 16regels moeten er zijn...)
			todo: moet nog fix voor maken
		  */
		  menufil.style.height = frameHeight-menuHeight+'px';		  
        } else
		{
          if (frameDoc.body.offsetHeight > frameHeight) {
  	        frameHeight = frameDoc.body.offsetHeight;
		  }
          
		  frame.height         = frameHeight; //oud: frameDoc.body.offsetHeight;
		  //alert('frame hoogte= ' + frame.height + " / " + frameHeight );
		  menufil.style.height = frameHeight - menuHeight+'px'; //frameDoc.body.offsetHeight-menuHeight+'px';
		}
    }