function setmyclass()
{
// set this variable to the classname:
	var myclass = "current";
	var hrefs = document.getElementsByTagName("a");
	for (i=0; hrefs.length; i++)
	{
		if(hrefs[i] != null)
		{
			if(hrefs[i].href==location.href)
			{
				if (hrefs[i].parentNode.tagName == "LI")
				{
					hrefs[i].parentNode.className = myclass;
				}
			}           
		} 
		else 
		{
			break;
		}
	}
}