HASH(0x7fedca5ec2b0)