function show(Datei)
{ /* blendet Over-Effekt ein */
 
 imgOn = '/images/buttons/'+ Datei + '_on.png';
 // alert(imgOn);
 document.getElementById(Datei).src =imgOn;
}

function hide(Datei)
{ /* blendet Over-Effekt wieder aus */
 imgOff =  imgOn = "/images/buttons/" + Datei + ".png";
 document.getElementById(Datei).src =imgOff;
}