HASH(0x7d3ec13c61b0)