1687 XOR 1158

529