HASH(0x7d3ead2409e0)