// @title:      Bildwechsel bei onMouseOver und onMouseOut
// @author:     Markus Zeller
// @descrition: Wechselt das aktuelle Bild. Dateien müssen xxx.gif bzw. xxx-a.gif heissen!!
// @variables:  name= Name des Bildes (<img name="">)

function change(name) {

        var pic_before_change;
        //Auslesen des aktuellen Pfades und Dateinamen des Bildes
        pic_before_change = document.images[name].src;

        //Ermitteln, ob es sich um die Datei "xxx.gif" oder "xxx-a.gif" handelt
        check_pic = pic_before_change.substr(pic_before_change.length-6, 2);

        //Setzen des neuen Pfades und Dateinamens des Bildes
        if(check_pic=="-a"){
                document.images[name].src=pic_before_change.substring(0, pic_before_change.length-6)+".gif";
        }else{
                document.images[name].src=pic_before_change.substring(0, pic_before_change.length-4)+"-a.gif";
        }
}