function doHover(name)
{
  document[name].src = 'buttons/Hover'+name+'.gif';
}

function doButton(name)
{
  document[name].src = 'buttons/Button'+name+'.gif';
}