//imga = new Image();
//imga.src = "oma.jpg";     /* normale-Grafik */
//imgb = new Image();
//imgb.src = "opa.jpg";     /* Highlight-Grafik */
//imgc = new Image();
//imgc.src = "opa.jpg";     /* Highlight-Grafik */



function Wechseln(Bildname,Tauschbildname)
{
/*document.images[Bildname].src = eval(Tauschbildname + ".src")
document.getElementById(Bildname) = document.getElementById(Tauschbildname) + ".src"
*/

document.getElementById(Bildname).src = document.getElementById(Tauschbildname).src

}