let N = int <| stdin.ReadLine() if N &&& 1 = 1 then printf "7" new System.String('1',(N-((N&&&1)*3))/2) |> printfn "%s"