HASH(0x7fede40a2770)