HASH(0x7fede37f4600)