function highlightButtonName(name, event) {

   elems = document.getElementsByName(name);

   for(i=0; i < elems.length; i++) {
      elem = elems[i];
      src = elem.src;

      basename = src.substring(0,src.lastIndexOf('_'));

      //basename = src.substring(src.lastIndexOf('/'));

      if(event == 'over') {
         elem.src = basename + '_hi.gif';
         //alert(document.getElementById(id).src);
      }

      if(event == 'out') {
         elem.src = basename + '_norm.gif';
      }

   }

}