let solve n = let rec solve' m result = if m <= 0 then result else let d = m / 7 and r = m mod 7 in solve' d (r :: result) in if n <= 0 then "0" else solve' n [] |> List.fold_left (fun s i -> s ^ (string_of_int i)) "" let () = let n = read_line () |> int_of_string in solve n |> print_endline