function echoObj(content) {
	document.write(content);
}
function putBanner(divname, content) {
	document.getElementById(divname).innerHTML=content;
}
function ieupdate() {
    theObjects = document.getElementsByTagName("embed");
    for (var i = 0; i < theObjects.length; i++) {
	theObjects[i].outerHTML = theObjects[i].outerHTML;
    }
}