<!--function IFRAME_set_height(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 = 1000;    try{        docHt = getDocHeight(iframeWin.document);    }catch(e){}    // need to add to height to be sure it will all show    if (docHt) iframeEl.style.height = docHt + 30 + "px";  }}function getDocHeight(doc) {  var docHt = 0, sh, oh;  if (doc.height) docHt = doc.height;  else if (doc.body) {    if (doc.body.scrollHeight) docHt = sh = doc.body.scrollHeight;    if (doc.body.offsetHeight) docHt = oh = doc.body.offsetHeight;    if (sh && oh) docHt = Math.max(sh, oh);  }  return docHt;}//-->