1723 XOR 1159

572