function eng_cht() {
	var cur_loc=document.location.pathname;
	if(location.href.toString().search('/eng/')!=-1) {
	document.location.href=(location.href.toString().replace('/eng/','/cht/'));
	} 
}

function cht_eng() {
	var cur_loc=document.location.pathname;
	if(location.href.toString().search('/cht/')!=-1) {
	document.location.href=(location.href.toString().replace('/cht/','/eng/'));
	}
}