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