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