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