what is the XOR of 2003 and 4257

6002