import sys
readline=sys.stdin.readline

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