// JavaScript Document

	function selectLanguage() {
		var vorlage=document.sprache.sprachumschalter.value;
		datei="index.php?lan="+vorlage;
		
		location.replace(datei);
	}
	
	function change(bild,id) {
		bildpfad="img/"+bild;
		document.getElementById(id).src=bildpfad;
	}