normal = new Image();
normal.src = "gif/menu/pfeilb.gif";
highlight = new Image();
highlight.src = "gif/menu/pfeil.gif";

norm1 = new Image();
norm1.src = "gif/menu/gad_raus.gif";
high1 = new Image();
high1.src = "gif/menu/gad_rein.gif";

norm2 = new Image();
norm2.src = "gif/menu/tob_raus.gif";
high2 = new Image();
high2.src = "gif/menu/tob_rein.gif";

norm3 = new Image();
norm3.src = "gif/menu/fab_raus.gif";
high3 = new Image();
high3.src = "gif/menu/fab_rein.gif";

norm4 = new Image();
norm4.src = "gif/menu/tv_raus.gif";
high4 = new Image();
high4.src = "gif/menu/tv_rein.gif";

//Pfeil fuer "menu3"
norm5 = new Image();
norm5.src = "gif/leer.gif";
high5 = new Image();
high5.src = "gif/menu3/pfeil2.gif";


function bildwechsel(nr, bild1, bild2)
{
    window.document.images[nr+4].src = bild1.src;
    window.document.images[nr+4].src = bild2.src;
}

function bildwechseldrei(nr, bild1, bild2)
{
    window.document.images[nr].src = bild1.src;
    window.document.images[nr].src = bild2.src;
}