var currentLink = window.location.href;;
currentLink = currentLink.replace("index.html","");
currentLink = currentLink.replace("index.htm","");

var pageleft = document.getElementById('pageleft');
var aList = pageleft.getElementsByTagName('a');
var len = aList.length;
for (i = 0; i < len; i++) {
	var a = aList[i];
	var href = a.href;
	if (href.indexOf(currentLink) == 0 && href.indexOf("#") == -1) {
		a.style.fontWeight = 'bold';
	}
}