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