HASH(0x7fee225ebf70)