function swapImage(id)
{
  document.getElementById(id).src="images/buttons/"+id+"over.gif";
}

function swapRestore(id)
{
  document.getElementById(id).src="images/buttons/"+id+".gif";
}