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