function doZoom(size)
{
	document.getElementById('textzise').style.fontSize=size+'px';
}