function hover(name) {
  document.getElementById(name).src = 'images/meny/' + name + '_on.gif';
}

function unhover(name) {
  document.getElementById(name).src = 'images/meny/' + name + '_off.gif';
}

function show(name) {
  document.getElementById(name).style.visibility = 'visible';
}

function hide(name) {
  document.getElementById(name).style.visibility = 'hidden';
}