3457 XOR 1148

2557