HASH(0x7fee025e62b8)