function show_image(folder,image) {
	document.images.image.src="web_files/bildergalerie/id_" + folder + "/" + image + "";
}
function mark_number(id,sum) {
	for(i=0; i<sum; i++) {
		document.getElementById("image_id_"+i).style.color="#4D4D4D";
	}
	document.getElementById("image_id_"+id).style.color="#5BFFBF";
}