what is the XOR of 3057 and 4257

6992