HASH(0x7fee025e5f70)