function IE_ActiveX(element_id) {
  document.write(element_id.innerHTML);
  element_id.id = "";
}