HASH(0x7efed51b9988)