// JavaScript Document
 function fontsize(size)
     {
       document.getElementById('textflag').style.fontSize=size+'px';
       document.getElementById('textflag').style.lineheight=size*2+'pt';
     }