HASH(0x7d3ead1a07c8)