Normal1 = new Image();
Normal1.src = "images/button_inaktiv_home.gif";
Highlight1 = new Image();
Highlight1.src = "images/button_mouse_home.gif";
Normal2 = new Image();
Normal2.src = "images/button_inaktiv_angebot.gif";
Highlight2 = new Image();
Highlight2.src = "images/button_mouse_angebot.gif";
Normal3 = new Image();
Normal3.src = "images/button_inaktiv_speisen.gif";
Highlight3 = new Image();
Highlight3.src = "images/button_mouse_speisen.gif";
Normal4 = new Image();
Normal4.src = "images/button_inaktiv_preise.gif";
Highlight4 = new Image();
Highlight4.src = "images/button_mouse_preise.gif";
Normal5 = new Image();
Normal5.src = "images/button_inaktiv_lage.gif";
Highlight5 = new Image();
Highlight5.src = "images/button_mouse_lage.gif";
Normal6 = new Image();
Normal6.src = "images/button_inaktiv_links.gif";
Highlight6 = new Image();
Highlight6.src = "images/button_mouse_links.gif";



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