HASH(0x7fee0c52dc20)