use hex in msgid.