k=7 while""do c=io.read(1)k=(3*k+c)%7,k>0 or print()io.write(c)end