function buttonHover(button) {
     bt = document.getElementById('button'+button);
     bt.className = 'buttonHover';
   }
 
   function buttonUnHover(button) {
     bt = document.getElementById('button'+button);
     bt.className = 'button';
   }