HASH(0x7d3ead2f31a0)