var button = new Array();

for (i=0; i<12; i++) {
  button[i] = new Image();
}

function load() {
  button[0].src = "grafik/menu1a.gif";
  button[1].src = "grafik/menu1b.gif"
  button[2].src = "grafik/menu2a.gif";
  button[3].src = "grafik/menu2b.gif";
  button[4].src = "grafik/menu3a.gif";
  button[5].src = "grafik/menu3b.gif";
  button[6].src = "grafik/menu4a.gif";
  button[7].src = "grafik/menu4b.gif";
  button[8].src = "grafik/titel1.gif";
  button[9].src = "grafik/titel2.gif";
  button[10].src = "grafik/titel3.gif";
  button[11].src = "grafik/titel4.gif";
}
function mouseIn(a) {
  document.images[a].src=button[(a+1)*2-1].src;
}
function mouseOut(a) {
  document.images[a].src=button[(a+1)*2-2].src;
}
function newTitel(a) {
  document.images[4].src=button[a+8].src;
}