HASH(0x7d3e84d4e8c0)