HASH(0x7d3ead42ab48)