while(0<1)println(readLine replaceAll("[^0689]|(8)","$1$1")size)