HASH(0x7fee025e1b28)