s := "12345";
i := int->ToInt(s) + 1;
s := i->ToString();