n=gets.to_i puts (n%2>0??7:?1)+?1*(n/2-1)