// JavaScript Document

function switch_language(language){
	var pathname=window.location.pathname;
	var path=pathname.split('/');
	var basislink='http://'+window.location.host+'/';
	path=path.reverse();
	switch(language){
		case'french':
		case'english':
			window.location.href=basislink+'languages/'+language+'/'+path[0];
			break;
		case'german':
		default:
			window.location.href=basislink+path[0];
			break;
	}
}