var winHeight = 0;
        if( typeof( window.innerWidth ) == 'number' ) 
        {   //Non-IE
            winHeight = window.innerHeight;
        } 
        else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) 
        {  //IE 6+ in 'standards compliant mode'
               winHeight = document.documentElement.clientHeight;
        } 
        else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) 
        {  //IE 4 compatible
                winHeight = document.body.clientHeight;
        }
           // bereken nieuwe hoogte (130 aanpassen aan website)
           //iframeHeight = winHeight - 130;
        
           // hoogte van iframe zetten
           //document.getElementById("frm").style.height= iframeHeight+ "px";                
