function FSIZE(X){
	document.getElementsByTagName('body')[0].style.fontSize=X;
	saveSIZE(X)
}
function saveSIZE(FONT){
	var tmp='SIZE='+FONT+';path=/';
	document.cookie=tmp;
}
if(document.cookie!=null){
var temp=document.cookie+';';
var POS=temp.indexOf('SIZE');
	var POSeq=temp.indexOf('=',POS)+1;
	var POSsm=temp.indexOf(';',POSeq);
	FONTSIZE=temp.substring(POSeq,POSsm);

}
if(FONTSIZE){
	FSIZE(FONTSIZE);
}

