1787 XOR 1158

637