function mouse_over(grafikname, bilddatei) {
grafikname.src = "./pics/navi/" + bilddatei;
return true;}

function mouse_out(grafikname, bilddatei) {
grafikname.src = "./pics/navi/" + bilddatei;

return true;}