// JavaScript Document
function menuOver(ID,Source) {
	document.getElementById(ID).src = Source;
}

function changeLanguageDE() {
	var url = document.location.href;
	url = url.replace('/de/', '/en/');
	document.location.href = url;
}

function changeLanguageEN() {
	var url = document.location.href;
	url = url.replace('/en/', '/de/');
	document.location.href = url;
}