<!--
function change(url, bild, zustand) {
str = "document." +bild+ ".src='" + url + "" +bild+ "" +zustand+ ".gif'";
eval(str);
}
//-->