function switch2French() {
	var url = window.location.href;
	// Swap /en/ to /fr/ in url
	var newUrl = url.replace(/\/en\//, "/fr/");
	// Get rid of #top because it causes problems
	//newUrl = newUrl.replace(/#top/, "");
	window.location = newUrl;
	return false;
}

function switch2English() {
	var url = window.location.href;
	// Swap /fr/ to /en/ in url
	var newUrl = url.replace(/\/fr\//, "/en/");
	// Get rid of #top because it causes problems
	//newUrl = newUrl.replace(/#top/, "");
	window.location = newUrl;
	return false;
}