function flip(rahmen,datei){document.images[rahmen].src=datei;}