function changePicture(picture, pic_id){
	document.getElementById(pic_id).src = "bilder/wohnungen/" + picture;
};