function changeLang() {
 var currURL = ""+document.location;
 var newURL = currURL;
 if (currURL.match(/\/eng\//))
  newURL = currURL.replace(/\/eng\//, "/big5/");
 else if (currURL.match(/\/big5\//))
  newURL = currURL.replace(/\/big5\//, "/eng/");
 document.location = newURL;
}