// JavaScript Document
function goSetHeight() {
var hoehe = document.body.clientHeight -285;
top.setIframeHeight('frame');
}

function setIframeHeight(iframeName) {
  var iframeWin = window.frames[iframeName];
  var iframeEl = document.getElementById? document.getElementById(iframeName): document.all? document.all[iframeName]: null;
  if ( iframeEl && iframeWin ) {
    iframeEl.style.height = "auto"; // helps resize (for some) if new doc shorter than previous  
    var docHt = document.body.clientHeight - 285;
    // need to add to height to be sure it will all show
    if (docHt) iframeEl.style.height = docHt;
	
  }
}
