HASH(0x7fee025fb008)