while""do
print(#io.read():gsub("[^0689]",''):gsub(8,88))end