HASH(0x7ff414d6a5f0)