HASH(0x7efed524e220)