2542 XOR 2713

887