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