
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;
                        }
            }
		}
