     <!--
   function ExplorerFix() {
     for (a in document.links) document.links[a].onfocus =
document.links[a].blur;
     }
     if (document.all) {
      document.onmousedown = ExplorerFix;
     }
     // -->