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