function setimage(file) {
	document.getElementById("mypic").src="bilder/" + file;
}