/*This script has been provisorily impaired in the second function block. Remove double slashes and the url at the last line of each function block for full functionality*/

function SwitchLangDE()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/deutsch/");
	Path2 = PathArray.join("/english/");
	window.top.location.href = Path2
}

function SwitchLangDF()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/deutsch/");
	Path2 = PathArray.join("/francais/");
	window.top.location.href =Path2
}

function SwitchLangFD()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/francais/");
	Path2 = PathArray.join("/deutsch/");
	window.top.location.href = Path2
}


function SwitchLangFE()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/francais/");
	Path2 = PathArray.join("/english/");
	window.top.location.href = Path2
}

function SwitchLangED()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/english/");
	Path2 = PathArray.join("/deutsch/");
	window.top.location.href = Path2
}

function SwitchLangEF()
{
	Path1 = window.top.location.href;
	PathArray = new Array;
	PathArray = Path1.split("/english/");
	Path2 = PathArray.join("/francais/");
	window.top.location.href = Path2
}