<!--
function init_flash() {
  objects = document.getElementsByTagName("object");
  for (var i = 0; i < objects.length; i++) {
    objects[i].outerHTML = objects[i].outerHTML;
  }
}
//-->