HASH(0x7efed5252b38)