HASH(0x7ff458d7adf8)