<!--

IMG01 = "http://www.ederseeinfo.de/images/button_nav_wechsel.gif";  //image when mouse is over the link
IMG02 = "http://www.ederseeinfo.de/images/button_nav_leer.gif"; //image when mouse isn't over the link

function imgover(imgname){
     imgname.src = IMG01;
}

function imgout(imgname){
     imgname.src = IMG02;
}

//-->