HASH(0x7ff40c50de50)