Normal1 = new Image();
Normal1.src = "./buttons/home0.gif";
Highlight1 = new Image();
Highlight1.src = "./buttons/home1.gif";

Normal2 = new Image();
Normal2.src = "./buttons/forum0.gif";
Highlight2 = new Image();
Highlight2.src = "./buttons/forum1.gif";

Normal3 = new Image();
Normal3.src = "./buttons/gaestebuch0.gif";
Highlight3 = new Image();
Highlight3.src = "./buttons/gaestebuch1.gif";

Normal4 = new Image();
Normal4.src = "./buttons/links0.gif";
Highlight4 = new Image();
Highlight4.src = "./buttons/links1.gif";

Normal5 = new Image();
Normal5.src = "./buttons/login0.gif";
Highlight5 = new Image();
Highlight5.src = "./buttons/login1.gif";


function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}