function reSize()
{
  //find the height of the internal page
  var the_height=
    document.getElementById('ifr').contentWindow.
      document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById('ifr').height=
      the_height + 20;

}