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