import sys
input=sys.stdin.readline

n=int(input())
ans = 0
while n:
    n-=1
    ans += 1
    if ans % 7 == 0:
        n += 6
print(ans)