HASH(0x7fa9ec2ded20)