:
y/0123456789/@012345678/
s/\w/&;/g
s/;@/9;/
t
s/@*;;;/2/g
/;/c0