HASH(0x7ff40c512fa0)