what is the XOR of 4088 and 13

4085