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