Int.toString (1 + valOf (Int.fromString "1234"))