// JavaScript Document

theObjects = document.getElementsByTagName("object");
for (var i = 0; i < theObjects.length; i++) {
theObjects[i].outerHTML = theObjects[i].outerHTML;
}

/*
Just below the last <object> on the HTML page:
<script type="text/javascript" src="ieupdate.js"></script>

name the file ieupdate.js
*/
