HASH(0x7ff42c0617b0)