1257 XOR 1783

542