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