print('285714'[int(input())%7-1])