awk '$0=--$0*8%9+9'