function fnSetPageHeight() {
    pageOffsetHeight = document.getElementById('tekstvenster').offsetHeight;
    pageOffsetHeight += 195;
    if(pageOffsetHeight < 650) {
      pageOffsetHeight = 650;
    }
    document.getElementById('mainpage').style.height = pageOffsetHeight + 'px';
  }