//	Locate the nav link that points to the current page and change its class
//	24/9/9 Modified to allow for existing individual nav link class
//	************************************************************************

//	Get all the 'a' elements within the div with id=nav
var r=document.getElementById('nav').getElementsByTagName('a')
var rlen=r.length

var i
var linkPageName
var linkPageNameEnd
var linkPageNameStart
var thisPageName
var thisPageNameEnd
var thisPageNameStart

//	Obtain the name of the current page
	thisPageNameStart = document.location.href.lastIndexOf("/")
	if (thisPageNameStart >= 0)
	{
	//	If this is the defaulted home page (and so has no name), use 'index.asp' as the page name
		if (thisPageNameStart + 1 == document.location.href.length)
		{
			thisPageName = 'index.asp'
		}
		else
		{
			thisPageName = document.location.href.substr(thisPageNameStart + 1)
		}

	//	Remove any params in the page name, eg home.asp?key=1 or home.asp#bookmark
		thisPageNameEnd = thisPageName.indexOf("?")
		if (thisPageNameEnd < 0)
		{
		//	"?" not present, look for "#"
			thisPageNameEnd = thisPageName.indexOf("#")
		}

		if (thisPageNameEnd >= 0)
		{
		//	"?" or "#" delimiter present, remove the chars that follow it
			thisPageName = thisPageName.substr(0, thisPageNameEnd)
		}

	//	See if there is a nav item that links to this page
		for (i = 0; i < rlen; i++)
		{
		//	Isolate the page name for each link
			linkPageNameStart = r[i].href.lastIndexOf("/")
			if (linkPageNameStart >= 0)
			{
				linkPageName = r[i].href.substr(linkPageNameStart + 1)

			//	Remove any params in the link name, eg home.asp?key=1 or home.asp#bookmark
				linkPageNameEnd = linkPageName.indexOf("?")
				if (linkPageNameEnd < 0)
				{
					linkPageNameEnd = linkPageName.indexOf("#")
				}

				if (linkPageNameEnd >= 0)
				{
					linkPageName = linkPageName.substr(0, linkPageNameEnd)
				}

			//	Finally compare the names
				if (linkPageName == thisPageName)
				{
					r[i].className = r[i].className + " thispage"
				}
			}
		}
	}