HASH(0x7efed524e9e8)