function showhideDiv(div,showhide){
	if (document.getElementById){
		document.getElementById(div).style.visibility = showhide;
	}else if (document.layers){
		document.layers[div].visibility = showhide;
	}else if (document.all){
		document.all[div].style.visibility = showhide;
	}
}

function fixLinks() {
  for (a in document.links) document.links[a].onfocus = document.links[a].blur;
}

if (document.all){
  document.onmousedown = fixLinks;
}
