HASH(0x7fede2556428)