HASH(0x7d3e6d3740f0)