HASH(0x7d3ec4074b00)