HASH(0x7efed524fef0)