HASH(0x7fede80243e0)