/**************************************************************************/
/* iframes
/**************************************************************************/

function resizeIframe(frameName)
{
  // Find the height of the internal page
  var the_height= document.getElementById(frameName).contentWindow.document.body.scrollHeight;
  // Change the height of the iframe
  document.getElementById(frameName).height = the_height + 20; // some room for error
}