HASH(0x7ff45808df68)