what is the XOR of 3035 and 4800

6427