what is the XOR of 4241 and 1180

5133