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