function switchlanguage(Lang) {
  Lang = "/" + Lang + "/";
  var re = new RegExp("/eng/|/tchi/|/schi/");
  newpath = location.pathname;
  newpath = newpath.replace(re, Lang);
  window.location=newpath;
}