what is the XOR of 4200 and 4217

17