1788 XOR 1257

533