function setFontSize(size) {
	var body = document.getElementsByTagName('body')[0];
	var percentuale = "80%"; // default
	if (size == 1) percentuale = "80%";
	if (size == 2) percentuale = "95%";
	if (size == 3) percentuale = "115%";
	body.style.fontSize = percentuale;
	createCookie('TuoSitoFontSize',size,365);
}

window.onload = function() {
	size = readCookie('TuoSitoFontSize');
	setFontSize(size);
}