// JavaScript Document

// Switch to corresponding page in other language
function SwitchLang(){
	var url = window.location.href;
	var nohttp = url.split('//')[1];	
	var lang = nohttp.split('/')[2];
	var newlink = "/web/";
	
	if (lang == "francais") {newlink +="english";}
	else {newlink +="francais";}
	
	window.location = newlink + url.split(lang)[1];
}