function setImage(aObj, imgPath){
	aObj.firstChild.src = Base + "img/" + Lang + "/nav_" + imgPath + ".gif";
}

function setMap(ext){
	document.getElementById('karte').src = Base + "img/karte_" + ext + ".gif";
}
function unsetMap(ext){
	if (document.getElementById('setregion').value != ext){
		document.getElementById('karte').src = Base + "img/karte.gif";
	}
}
function setRegion(value){
	document.getElementById('setregion').value = value;
	document.getElementById('movieregion').value = value;
}