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