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