HASH(0x7ff41c0f3138)