3080 XOR 3863

799