HASH(0x7fee025f4cf0)