HASH(0x7f5ccdfcc3d0)