function switchlanguage(Lang) {
  document.Language.lang.value = Lang; 
  Lang = "/" + Lang + "/";
  var re = new RegExp("/eng/|/tchi/|/schi/");
  newpath = top.mainFrame.location.pathname;
  newpath = newpath.replace(re, Lang);
  params = top.mainFrame.location.search;
  document.Language.page.value = newpath + params;
  document.Language.submit();
}