HASH(0x7fee025835b0)