function createCookie(name,value,days) {
// istruzioni per creare il cookie, non interessa ai fini dell'articolo
}

function readCookie(name) { // istruzioni per leggere il cookie, non interessa ai fini dell'articolo
}
function setFontSize(size) {
var body = document.getElementsByTagName('body')[0];
var percentuale = "80%"; // default
if (size == 1) percentuale = "80%";
if (size == 2) percentuale = "90%";
if (size == 3) percentuale = "100%";

body.style.fontSize = percentuale;
createCookie('TuoSitoFontSize',size,365);
}

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