function resizeIframe(theframe){
  if (document.getElementById && (window != top)){
    var theiframe = parent.document.getElementById(theframe);
    if (!window.opera && !document.mimeType && document.all){
	  theheight=this.document.body.offsetHeight;
    } else {
	  theheight=this.document.body.scrollHeight;
    }
	theiframe.style.height=theheight+"px";
	theiframe.style.overflow="hidden";
  }
}