var x =0;
function b(){x++;document.all.a.style.fontSize=x+'px';if(x<18){setTimeout("b()", 70);}}