HASH(0x7d3ead42eef0)