// JavaScript Document
function sprachwechsel_eng ()
	{
	var adresse = document.URL;
	var deu = adresse.search(/deutsch/);
	var fra = adresse.search(/francais/);
	var ita = adresse.search(/italiano/);
	var ned = adresse.search(/nederlands/);
	if(deu != -1)
		{
		enadr = adresse.replace(/deutsch/,"english");
		document.location.href = enadr;
		}
	if(fra != -1)
		{
		deadr = adresse.replace(/francais/,"english");
		document.location.href = deadr;
		}
	if(ita != -1)
		{
		enadr = adresse.replace(/italiano/,"english");
		document.location.href = enadr;
		}
	if(ned != -1)
		{
		enadr = adresse.replace(/nederlands/,"english");
		document.location.href = enadr;
		}
	}