HASH(0x7d3ead427ef0)