HASH(0x7d3ec1447b40)