function setFontSize(i)
		{
			document.getElementById("textSize").style.fontSize=i+'px'
		}