function turnOnButtonCurrentPage(){
	var fileName = location.href.substring(location.href.lastIndexOf('/') + 1);
	var anchorList = document.getElementById('navmenu').getElementsByTagName('a');
	for(var i=0; i<anchorList .length; ++i) {
		var anchorHref = anchorList[i].href;
		anchorHref = anchorHref.substring(anchorHref.lastIndexOf('/') + 1);
		if(anchorHref == fileName) {
			anchorList[i].className = 'buttonSelected';// change the class of this anchor
			break;
		}
	} 
}