function buttonOver(id){
  document.getElementById(id).style.cursor = 'hand';
  document.getElementById(id).style.backgroundImage = 'url(images/button1over.gif)';
}
function buttonOut(id){
  document.getElementById(id).style.backgroundImage = 'url(images/button1.gif)';
}
function buttonOver2(id){
  document.getElementById(id).style.cursor = 'hand';
  document.getElementById(id).style.backgroundImage = 'url(images/button2over.gif)';
}
function buttonOut2(id){
  document.getElementById(id).style.backgroundImage = 'url(images/button2.gif)';
}
function buttonOver3(id){
  document.getElementById(id).style.cursor = 'hand';
  document.getElementById(id).style.backgroundImage = 'url(images/button3ovr.gif)';
}
function buttonOut3(id){
  document.getElementById(id).style.backgroundImage = 'url(images/button3.gif)';
}