HASH(0x7fee025872b0)