let solve n = let len_ans = n / 2 in let a_arr = String.make len_ans '1' in if n mod 2 = 1 then a_arr.[0] <- '7'; a_arr let () = let n = read_line () |> int_of_string in solve n |> print_endline