<!--
function calcHeight()
{
  //find the height of the internal page
  var the_height=
    document.getElementById('rightFrm').contentWindow.
      document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById('rightFrm').height=
      the_height;
}
//-->