function rolloverButton (the_id, the_class) {
  if (document.getElementById) {
    var element_id = document.getElementById(the_id);
    element_id.className = the_class;
  }
}