HASH(0x7d3ead2414c0)