Editing a file using awk
I have a list of millions of filename in form of say "drau3DDFEA5E01205841DC1B277A".
I need it convert it into
I believe that can be achieved by awk or sed.
I am very new to these. Can someone help plz.