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