// FOCUS

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