import extensions;

public Program()
{
    var s := "12345";
    s := (s.toInt() + 1).toString();

    console.printLine(s)
}