what is the XOR of 1787 and 4251

5728