// Bildwechsel
Prev_a = new Image();
Prev_a.src = "/_layout/img/carousel/prev_a.gif";     /* normale-Grafik */
Prev_b = new Image();
Prev_b.src = "/_layout/img/carousel/prev_b.gif";     /* Highlight-Grafik */
Next_a = new Image();
Next_a.src = "/_layout/img/carousel/next_a.gif";    /* normale-Grafik */
Next_b = new Image();
Next_b.src = "/_layout/img/carousel/next_b.gif";    /* Highlight-Grafik */

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