function Getcurrentpage() {
	if (!document.getElementsByTagName)
     var thispage = location.href;
   	 var anchors = document.getElementsByTagName('A');
     for (var i=0; i<anchors.length; i++) {
        var anchor = anchors[i];
        thisHREF = anchor.getAttribute("href");
        if (thisHREF == location.href) {
        anchor.className = "navcurrent";
        }
     }
}