HASH(0x7fede8591420)