function ImpostaFontSize(dimensione)
		{
			document.getElementById('zoomtext').style.fontSize= dimensione;
		}