what is the XOR of 3967 and 3455

512