s string = "12345";
s = 1 + s;  // Note: s + 1 is a string concatenation.