// JavaScript Document 

function change(neuesbild) {
	// grosses Bild tauschen
	document.getElementById("Backpic").src = neuesbild;
}