function switchLang(lang)
{
	var url;
	url=escape(window.location.pathname);
	if (lang == "non_en")
		// replaces "/hk/" that is not followed by "WORKAREA" by "/hk/chinese/"
		url = url.replace(/\/en\//g, "/ch/");
	else if (lang == "en")
		url=url.replace("/ch/","/en/");

	window.location=url;
}

function popWin(url)
{
	var dyn_pop = window.open(url,'dyn_pop',"directories=0,location=0,menubar=0,resizable=0,scrollbars=yes,status=0,titlebar=0,toolbar=0,width=640,height=520");
	dyn_pop.focus();
}