HASH(0x7f1325ec2420)