what is the XOR of 3807 and 1254

2617