function menu_tab(tab) {
 if(document.images[tab].src.indexOf('over.png') != -1) {
  document.images[tab].src = "images/" + tab + ".png";
 } else {
  document.images[tab].src = "images/" + tab + "_over.png";
 }
}