HASH(0x7f5ccdfcfe70)