function menuOver(Name) {
  document.images[Name].src = 'img/menu/'+Name+'_sel.gif';
}

function menuOut(Name) {
  document.images[Name].src = 'img/menu/'+Name+'.gif';
}

function changePicture(Name) {
  document.images['bigImage'].src = 'img/pictures/'+Name;
}