// JavaScript Documentfunction wechsler (bild, quelle) {		document.getElementById(bild).src = "pictures/"+ quelle + ".gif";}