function putBanner(divname, content) {
	document.getElementById(divname).innerHTML=content;
}

function putBannerParent(divname, content) {
	self.parent.document.getElementById(divname).innerHTML=content;
}

function ieupdate() {
	theObjects = document.getElementsByTagName("object");
	for (var i = 0; i < theObjects.length; i++) {
		theObjects[i].outerHTML = theObjects[i].outerHTML;
	}
}

function echoObj(content) {
	document.write(content);
}