z=9.5;while(z<9e7)cat(z<-(z*7)%/%3)