HASH(0x7efed51a1110)