what is the XOR of 3088 and 1001

4089