function changeFontSize(obj,style){
	document.getElementById(obj).className=style;
	setCookie('fontStyle',style,null,null,null,null);
}

function initFontSize(){
	var fontStyleCookie=getCookie('fontStyle');
	if(fontStyleCookie != null){
		changeFontSize('date_txt',fontStyleCookie);
	}
}

window.onload=initFontSize;