function doResize() {
    var footer=document.getElementById('footer');
    //only if whole page is loaded (last element to be loaded is footer)
    if (footer!=null) {
      Resize4Minfontsize();
      SizeHeadlines();
      PlaceFooter();
    }    
  }

  function doResizeIFrame(iFrame){
      var footer=document.getElementById('footer')
      var IFrame=document.getElementById(iFrame)        
      if (footer!=null) {
        var footerH=footer.offsetHeight;
        Resize4Minfontsize();
        var margin=footerH+10+18; //(16 is margin of 0.5 em)
        StretchToBottom(iFrame,margin);
        footer.style.paddingTop=10;
      }    
  }