function wechsel(datei,nr)
{
 document.images[nr].src = "images/"+datei+".gif";
}