HASH(0x7ff458d7bba0)