#
ex - $1 <<@
g/.*DO [0123456789]*/s//      write(6,*)'&'\
&/
wq
@