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("briefframe");
	var frameDoc = getIFrameDocument("briefframe");
	frame.height = frameDoc.body.offsetHeight + 20;
}