function bolder(id)
{
     var els = document.getElementsByTagName("a"); 
     for (var i = 0; i < els.length; i++) { 
          el = els[i];
          if (el.className=='sub') {
               el.style.fontWeight = 'normal';
          }
     }
	 targetElement = document.getElementById(id);
	 targetElement.style.fontWeight='bold';
}