function turnBackBold (speclink) {
	 var anchors = document.links
	 for (i=0; i<anchors.length; i++) {
    anchors[i].style.color = '999999';
	 }
	 speclink.style.color = 'dddddd';
}