1857 XOR 1417

712