HASH(0x7d3ec4d077d0)