HASH(0x7d3ead1723e0)