what is the XOR of 4013 and 3588

425