var BaseFontSize=13;
function SetFontSize(_1){
var _2=(BaseFontSize+_1)+"px";
document.body.style.fontSize=_2;
setCookie("fontSize",_1,true);
}
function InitialFontSize(){
if(getCookie("fontSize")!=false){
var _3=(BaseFontSize+Number(getCookie("fontSize")))+"px";
document.body.style.fontSize=_3;
}
}
addLoadEvent(InitialFontSize);