HASH(0x7fede259d810)