// JScript File
function adjust_iframe_height(h) {
   if (h==0)
      document.getElementById("divIFrame").src = document.getElementById("divIFrame").src;

   document.getElementById("divIFrame").style.height = h + 'px';
}