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

function getIFrameDocument(aID){ 
    var rv = null; 
    var frame=getElement(aID);
    /* if contentDocument exists, W3C compliant (e.g. Mozilla) */

    if (frame.contentDocument)
        rv = frame.contentDocument;
    else /* bad IE  ;) */

        rv = document.frames[aID].document;
    return rv;
}

function adjustMyFrameHeight(id_frame)
{
		var frame;
		var frameDoc;

		if (id_frame != null){
			frame = getElement(id_frame);
      frameDoc = getIFrameDocument(id_frame);
      frame.style.height = frameDoc.body.scrollHeight+"px";
		}else{
      frame = getElement("myFrame");
      frameDoc = getIFrameDocument("myFrame");
      frame.style.height = frameDoc.body.scrollHeight+"px";
		}

}

