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

function adjustMyFrameHeight(val)
{
    var frame = getElement("myFrame");       
    frame.height = val;
}