function changeButtonClass(id,new_class) {        //
      if (document.getElementById && document.getElementById(id))        {
                                        document.getElementById(id).className = new_class;
                                        return true;
      } else if (document.layers && document.layers[id]) {
                                document.layers[id].className = new_class;
                                        return true;
     }
}