// JavaScript Document

function showHT(tx){
	window.frames['mHeader'].document.getElementById('Content').innerHTML=tx;
}


function resizeIframe(iframeID) {
if(self==parent) return false; /* Checks that page is in iframe. */
else if(document.getElementById&&document.all) /* Sniffs for IE5+.*/
var FramePageHeight;

FramePageHeight=parent.document.getElementById(iframeID).contentWindow.document.body.scrollHeight + 20;

/* framePage is the ID of the framed page's BODY tag. The added 10 pixels prevent an unnecessary scrollbar. */
parent.document.getElementById(iframeID).style.height=(FramePageHeight) + "px";
/* "iframeID" is the ID of the inline frame in the parent page. */
}


//-->