HASH(0x7efed51b1af0)