HASH(0x7ff42804d008)