// JavaScript Document

var iframeids=["displayFrame"]

function changeFrameHeight()
{
  //find the height of the internal page
  var frameheight=document.body.scrollHeight;
  var frameheightextra = 50;

  //change the height of the iframe
  top.document.getElementById(iframeids).height = frameheight+frameheightextra ;
}