1752 XOR 1235

523