// get curent link:
//var currentLink = myURL.substr(myURL.indexOf('/', 8));
var currentLink = myURL;
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';
	}
}