4012 XOR 3517

529