HASH(0x7d3e6d4547f0)