#yuki744 n=int(raw_input()) s='285714' r=(n-1)%len(s) print s[r]