what is the XOR of 308 and 4251

4527