HASH(0x7fede260b640)