HASH(0x7d3ec1525ff8)