HASH(0x7d3e6d5156d0)