HASH(0x7fede6f78548)