function ChangeLang(to_which_lang)
{
	to_which_lang = '/' + to_which_lang + '/';
	var uri = window.location.href;
	
	var filter_eng = /eng-txt/;
	var filter_schi = /schi-txt/;
	var filter_tchi = /tchi-txt/;
	
	if (filter_eng.test(uri))
	{
		uri = uri.replace(/[\/]+eng-txt[\/]+/g, to_which_lang);
	}
	
	if (filter_schi.test(uri))
	{
		uri = uri.replace(/[\/]+schi-txt[\/]+/g, to_which_lang);
	}
	
	if (filter_tchi.test(uri))
	{
		uri = uri.replace(/[\/]+tchi-txt[\/]+/g, to_which_lang);
	}
	
	window.location = uri;
}