function removeDotted() {
	var allAnchorNodes = document.getElementsByTagName('a');
	var myNode;
	for($i=0; $i < allAnchorNodes.length; $i++) {
		myNode = allAnchorNodes[$i];
		myNode.setAttribute('onFocus',"this.blur()");
	}
}
removeDotted();

