Scanf.scanf "%s %d" (fun s k ->
    let n = String.length s in

    let rec loop st en k1 k2 k3 k4 k5 =
        if st = n then [| k1; k2; k3; k4; k5 |] else
            if en = n then loop (st + 1) (st + 1) k1 k2 k3 k4 k5 else
                let ss = String.sub s st (en - st + 1) in
                if ss = k1 || ss = k2 || ss = k3 || ss = k4 || ss = k5 then loop st (en + 1) k1 k2 k3 k4 k5 else
                    if ss < k1 then loop st (en + 1) ss k1 k2 k3 k4 else
                    if ss < k2 then loop st (en + 1) k1 ss k2 k3 k4 else
                    if ss < k3 then loop st (en + 1) k1 k2 ss k3 k4 else
                    if ss < k4 then loop st (en + 1) k1 k2 k3 ss k4 else
                    if ss < k5 then loop st (en + 1) k1 k2 k3 k4 ss else
                                    loop st (en + 1) k1 k2 k3 k4 k5
    in
    let ans = loop 0 0 "~" "~" "~" "~" "~" in

    print_endline ans.(k - 1)
)