
<!-- Begin
// extract the file name from a URL 
//("if input is /files/index.html", output is "index")
function extractPageName(hrefString)
{
	var arr = hrefString.split('.');
	arr = arr[arr.length-2].split('/');
	return arr[arr.length-2].toLowerCase();	
}
// search through all the links in array, if one points to
// the same file, apply the class .selected to it and to its parent
function setActiveMenu(arr, crtPage)
{
	for(var i=0; i < arr.length; i++)
		if(extractPageName(arr[i].href) == crtPage)
		{
			arr[i].className = "selected";
			arr[i].parentNode.className = "selected";
		}
}
// call this method from your page
function setPage()
{
	if(document.location.href) 
		hrefString = document.location.href;
	else
		hrefString = document.location;
		
		if (document.getElementById("mainnav")!=null) 
			setActiveMenu(document.getElementById("mainnav").getElementsByTagName("a"), extractPageName(hrefString));
}
// End -->