HASH(0x7d7651ff77f0)