HASH(0x7d3e854670d0)