HASH(0x7d3ec1453cc8)