HASH(0x7d3eb93e6d38)