HASH(0x7fee025bbb90)