HASH(0x7fee025ec2f0)