what is the XOR of 4135 and 2251

6380