//	Wenn das nicht funktioniert, dann muss diese Funktion wieder in 'javascript.js.php' geschrieben werden
function mouseeffect(wechsledas,variante1,variante2) {
    if (document.images[wechsledas].src == variante1) {
        document.images[wechsledas].src=variante2;
    }
    else {
        document.images[wechsledas].src=variante1;
    }
}