// JavaScript Document
function showNavi(nn) 
{
	document.getElementById("n"+nn).className="current";
}

window.onload=function()
{
  for(var ii=0; ii<document.links.length; ii++)
    document.links[ii].onfocus=function(){this.blur()}
}