function getElement(myFrame) 
       	{	
           return (document.getElementById) ?
           document.getElementById(myFrame) : 
	   document.all[myFrame];
       	}

       	function getIFrameDocument(myFrame)
       	{ 
               var rv = null; 
               var frame=getElement(myFrame);
              // if contentDocument exists, W3C compliant (e.g. Mozilla) 
               if (frame.contentDocument)
                 rv = frame.contentDocument;
               else // bad Internet Explorer  ;)
                 rv = document.frames[myFrame].document;
                 return rv;
       	}

	function adjustMyFrameHeight() 
	{
		var frame = getElement("myFrame");
		var frameDoc = getIFrameDocument("myFrame");
		frame.height = frameDoc.body.offsetHeight+19;
	}