HASH(0x7fee025e66d8)