function fontZoom(size)
	{
		document.getElementById('fontzoom').style.fontSize=size+'px'
	}