var HrefCoverer = 
{
	f :  function ()
	{
		this.blur();
		return false;
	},
	
	onmouseover : function  ()
	{
		window.status = '';
	},
	
	onLoad : function ()
	{
	
		var hrefs = document.getElementsByTagName("a");
	
		for (var i = 0; i < hrefs.length; i ++)
		{
			if (hrefs[i].href == location.href)
			{
				if (hrefs[i].className == "alwaysActive") continue;
				hrefs[i].className += " active";
				hrefs[i].style.cursor = "default";
				hrefs[i].onclick = this.f;
				hrefs[i].onmouseover = this.onmouseover;
				hrefs[i].onmouseout = this.onmouseover;
			}
		}
	}
}

window.addListener (HrefCoverer);