function tausch1 (elem_tau,elem_neu) {
//bild austauschen

document.getElementById(elem_tau).src = elem_neu;
}
//bilder-tausch bei rollover