function show(imgName, Datei)
{ /* blendet Over-Effekt ein */
 
 imgOn = '/images/buttons/'+ Datei + '_on.gif';
 document.getElementById(imgName).src =imgOn;
}
function hide(imgName, Datei)
{ /* blendet Over-Effekt wieder aus */
 imgOff =  imgOn = "/images/buttons/" + Datei + ".gif";
 document.getElementById(imgName).src =imgOff;
}