//get the current path
path=window.location.pathname;
//If the upper directory is a language - remove it
slash_position=path.indexOf('/',1);
if (slash_position!=-1) {if ("chinese german spanish french italian japanese hungarian portuguese slovene".indexOf(path.substr(1,slash_position-1))!=-1) path=path.substr(slash_position)}
//Remove _gb and _big5 for chinese source pages
path=path.replace(/_gb.htm/i,".htm");
path=path.replace(/_big5.htm/i,".htm");
// Add _gb and _big5 for the chinese links. If there is no filename, add index.html or /index.html
if (path.indexOf('.')==-1) {if (path.substr(path.length-1)=="/") {path_chinese=path+"index.html"} else {path_chinese=path+"/index.html"}} else {path_chinese=path};
dot_loc=path_chinese.indexOf(".")
path_gb=path_chinese.substr(0,dot_loc)+"_gb"+path_chinese.substr(dot_loc);
path_big5=path_chinese.substr(0,dot_loc)+"_big5"+path_chinese.substr(dot_loc);
document.write(' 
');