function focus() {
	for (a=0;a<document.links.length;)
	document.links[a].onfocus=document.links[a++].blur;
}