HASH(0x7fedc855bdb0)