HASH(0x7fee17806e38)