for i:0 thru 20308 do printf(?t,"~a  ",i);