HASH(0x7d3ec1447cc0)