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