HASH(0x7d3ead17ecb8)