// JavaScript Document


// Path transformation
// Modified by NSH, dated April 21 2008
//

  var loc = location.href;

  if (loc.indexOf("#") != -1) {
    loc = loc.substr(0,loc.indexOf("#"));
  }

    locationEng =loc.replace("/zh","");
    locationJpn =loc.replace("/zh","/jpn");

with (document) {
	write('<li><a href="' + locationEng + '" lang="en">English</a></li>');
	write('<li><a href="' + locationJpn + '" lang="ja">日本語</a></li>');
}