HASH(0x7f5cddef62e0)