function onload_f()
{
	setupNav();
}

function include(filename)
{
	var head = document.getElementsByTagName('head')[0];
	script = document.createElement('script');
	script.src = filename;
	script.type = 'text/javascript';
	head.appendChild(script)
}

function setupNav()
{
	navarr=document.getElementById("nav").getElementsByTagName("a");
	for(i=0; i<navarr.length; i++)
		{
			if(document.URL.indexOf(navarr[i].href)!=-1)
			{
				navarr[i].className="selected";
			}
		}
	if(document.URL.indexOf(".html")==-1)
	{
		navarr[0].className="selected";
	}
}