HASH(0x7ff458de97f8)