HASH(0x7efed525a2b0)