function lang_change(lang) {
	var temp_loc = document.location.toString();
	if (temp_loc.indexOf("eng")>-1){
		var flg = "eng";
	} else if (temp_loc.indexOf("chi")>-1){
		var flg = "chi";
	} else if (temp_loc.indexOf("sim")>-1){
		var flg = "sim";
	}
	//alert(temp_loc+" , "+flg);
	new_loc = temp_loc.replace(flg, lang);
	document.location = new_loc;
}