function change_lang() {
  if (location.pathname) {
    var path = location.pathname;
    pos = path.search(/en/);
    if (pos > 0) {
      path = path.replace(/en/,'fr');
    }
    else {
      path = path.replace(/fr/,'en');
    }
    location.pathname = path;
  }
}