function change_thumb(afbeelding){
	var foto = document.getElementById('foto');	
	
	foto.innerHTML = "<img width='216' height='394' src='/files/afbeeldingen/" + afbeelding + "'>";
}