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