4257 XOR 1259

5194