HASH(0x7ff458de8f88)