what is the XOR of 13 and 4088

4085