addLoadEvent(navInit);

var mynav;

function navCalc(e)
{
	return (e.id==mynav) ? "navOn" : "navOff";
}

function navOut()
{
	this.className=navCalc(this);
}

function navInit()
{
	var s=window.location.toString();
	s=s.replace(/.*\//g,"");
	s=s.replace(/\.(htm|pl)/,"");
	if (s=="")
		s='home';
	var e = document.getElementById(s);
	if (e) {
		mynav=s;
		e.className = "navOn";
	}
	var elts=getElementsByClass("navOff");
	var len = elts.length;
	for (var i=0; i<len; i++) {
		elts[i].onmouseout=navOut;
	}
}