what is the XOR of 1007 and 4056

3127