function swap_image_hover(id)
  {document.getElementById(id).src='images/' + id + '_hov.jpg';}

function swap_image_regular(id)
  {document.getElementById(id).src='images/' + id + '_reg.jpg';}