<!--
function change_lang(lang_type){
	path		= document.URL;
        
	switch(lang_type){
		case "en":
			path_key	= "/en/";
			path		= path.replace("/big5/", path_key);
		break;
                case "big5":
			path_key	= "/big5/";
			path		= path.replace("/en/", path_key);

		break;
	}
       
	window.location	= path;
}
//-->