HASH(0x7fede2578750)