function button_over(n, t) {
  value = document.getElementById(n).src;
  document.getElementById(n).src = value.replace('.' + t, '-over.' + t);
}

function button_out(n, t) {
  value = document.getElementById(n).src;
  document.getElementById(n).src = value.replace('-over.' + t, '.' + t);
}