HASH(0x7d3ead18a5c0)