what is the XOR of 3457 and 4133

7588