newbie Question: combining message ID with date/ time

Hello !

The recipe for adding extra header for recipient works very well for me
(recipee given at bottom), for the extra  headers, bcc, et. al. What I
would like to do now is to insert another header that will have the message
ID combined with the date and time (down to milli seconds) as a new header:

something like X-Procmid: msgid11111999239812

I want to do this so that i can get a unique X-Procmid header with every
email. In the foll: recipee, i get the same mesaage id for multiple
recipients in the same email. For ex, if one message is bcc'ed to more than
one, then all those messages have the same message ID.

TIA 


Venky

DOMAIN=mydomain.com
     ENV_TO=$1

     :0f
     * ENV_TO ?? .
     | formail -i "X-Envelope-To: "$ENV_TO(_at_)$DOMAIN

     :0fE
     | formail -i "X-Envelope-To: UNKNOWN"