function setFontSize(size) {
	var body = document.getElementsByTagName('body')[0];
	var percentuale = "80%"; // default
	if (size == 1) percentuale = "100%";
	if (size == 2) percentuale = "130%";
body.style.fontSize = percentuale;
}