printf("%d", 12345 ^ 6789012 % 34567 );