sum(printf(?t,"~,3f ",2*%pi*abs(?read())),i,1,12);