{Int.toString {String.toInt "12345"} + 1}