function highlightCurrentPageLink() {
   var anzHrefs = document.getElementsByTagName("a").length;
   for (var i = 0; i <= anzHrefs - 1; i++) {
       var cur_link = document.getElementsByTagName("a")[i];
	   if ( cur_link.href == document.location.href ) {
		   cur_link.className = 'bold';
		   cur_link.style.color = '#ff9900';
           }
    }
}