name="personalpageencoding";
var url=document.URL;
GBBIG5="Big5";
var today = new Date();
var expires = new Date();
expires.setTime(today.getTime() + 1000*60*60*24*365);
var gb=url.indexOf("GB");
if(gb!=-1) GBBIG5="GB"; 
document.cookie = name + "=" + escape(GBBIG5) + "; path=/" + ((expires == null) ? "" : ("; expires=" + expires.toGMTString()));
if(gb==-1) GBBIG5="";