Buyers Resources
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 Internet Explorer
rv = document.frames[aID].document;
return rv;
}
function adjustMyFrameHeight() { var frame = getElement
("myFrame"); var frameDoc = getIFrameDocument
("myFrame");
frame.height = frameDoc.body.offsetHeight;
}







