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