function GetCurrentPage()
{
 	if (!document.getElementsByTagName) return;  
 	var anchors = document.getElementsByTagName("a"); 
 	var thisPage = location.href; 
 	for (var i=0; i<anchors.length; i++) {  
 		var anchor = anchors[i]; 
 		thisHREF = anchor.getAttribute("href"); 
		thisHREF = thisHREF.substr(thisHREF.lastIndexOf("/")+1)
		thisPage = thisPage.substr(thisPage.lastIndexOf("/")+1)
 		if (thisHREF == thisPage) { 
 			anchor.id = "current"; 
 			//return; 
 		} 
	}  
}