HASH(0x7ff458508128)