(princ-to-string (1+ (parse-integer "1234")))