function recolorbuttonsover(thisbutt)
{
  thisbutt.style.backgroundColor = '#FFFF00';
  thisbutt.style.color='#996633';
}
function recolorbuttonsout(thisbutt)
{
  thisbutt.style.backgroundColor = '#996633';
  thisbutt.style.color='#FFFF00';
}