// Find all link elements and add an onfocus attribte and value
function hideFocusBorders(){
var theahrefs = document.getElementsByTagName("a");

if (!theahrefs){return;}
	for(var x=0;x!=theahrefs.length;x++){
		theahrefs[x].onfocus = function stopLinkFocus(){this.hideFocus=true;};
		
		
		href = theahrefs[x].href
		if( href.indexOf('/info/') != -1 ){
			if( href.indexOf(".html") == -1 ){
				theahrefs[x].href = href.replace(/info\/[0-9]*\//gi,'');
			}else{
				theahrefs[x].href = href.replace(/info\/[0-9]*\/info\//gi, 'info/');
			}
		}
		

	}
	
}

//event added using the addEvent() function above
Event.observe(window, 'load', hideFocusBorders);