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