// Beim Überfahren mit der Maus ändert sich die Einträge in der Menuleiste
// Ist die Maus über einem Eintrag, wird das Bild *_a.gif gezeigt
// Ist die Maus nicht über einem Eintrag, wird das Bild *_n.gif gezeigt


function highBild(bild)
{
var i = document[bild].src.lastIndexOf('_n.gif');
var neu = document[bild].src.substr(0,i)+"_a.gif";
document[bild].src=neu;
}


function normalBild(bild)
{
var i = document[bild].src.lastIndexOf('_a.gif');
var neu = document[bild].src.substr(0,i)+"_n.gif";
document[bild].src=neu;
}