HASH(0x7fee246cd6f0)