1723 XOR 1152

571