HASH(0x7ff41c07eec8)