mutable str = "12345";
str = $"$(Int32.Parse(str)+1)";