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() {
    var frame = getElement("frameleft");
    var frameDoc = getIFrameDocument("frameleft");
    frame.height = frameDoc.body.offsetHeight +5;
}