// JavaScript Document

function switch_french(){
var file_name = document.location.href;
newUrl = file_name.replace(/\/en\//, '/fr/');
window.location=newUrl;
}

function switch_english(){
var file_name = document.location.href;
newUrl = file_name.replace(/\/fr\//, '/en/');
window.location=newUrl;
}