// JavaScript Document

function changelang(lang)
{
	langURL = new String();
	langURL = langURL.concat("/",lang,"/");
	URL = new String(document.location);
	if(URL.indexOf("/en/") != -1)
	{
		URL = URL.replace("/en/",langURL);
	}
	else if(URL.indexOf("/zh-hk/") != -1)
	{
		URL = URL.replace("/zh-hk/",langURL);
	}
	else
		return false;
	location = URL;
}