import sys



sys.setrecursionlimit(10**7)

def I(): return int(sys.stdin.readline().rstrip())

def MI(): return list(map(int,sys.stdin.readline().rstrip().split()))

def LI(): return list(map(int,sys.stdin.readline().rstrip().split()))  #空白あり

def LI2(): return list(map(int,sys.stdin.readline().rstrip()))  #空白なし

def S(): return sys.stdin.readline().rstrip()

def LS(): return list(sys.stdin.readline().rstrip().split())  #空白あり

def LS2(): return list(sys.stdin.readline().rstrip())  #空白なし



x = I()

q,r = x//11,x % 11

ans = 2*q

if 1 <= r <= 6:

    ans += 1

elif r >= 7:

    ans += 2

print(ans)

import sys

def I(): return int(sys.stdin.readline().rstrip())



x = I()-1

print((x//11*2+1+(x%11)//6))

import sys

sys.setrecursionlimit(10**7)


def I():
    return int(sys.stdin.readline().rstrip())


def MI():
    return list(map(int, sys.stdin.readline().rstrip().split()))


def LI():
    return list(map(int, sys.stdin.readline().rstrip().split()))  # 空白あり


def LI2():
    return list(map(int, sys.stdin.readline().rstrip()))  # 空白なし


def S():
    return sys.stdin.readline().rstrip()


def LS():
    return list(sys.stdin.readline().rstrip().split())  # 空白あり


def LS2():
    return list(sys.stdin.readline().rstrip())  # 空白なし


x = I()
q, r = x // 11, x % 11
ans = 2 * q
if 1 <= r <= 6:
    ans += 1
elif r >= 7:
    ans += 2
print(ans)

import sys


def I():
    return int(sys.stdin.readline().rstrip())


x = I() - 1
print((x // 11 * 2 + 1 + (x % 11) // 6))

- -sys.setrecursionlimit(10**7) -def MI(): -    return list(map(int, sys.stdin.readline().rstrip().split())) - - -def LI(): -    return list(map(int, sys.stdin.readline().rstrip().split()))  # 空白あり - - -def LI2(): -    return list(map(int, sys.stdin.readline().rstrip()))  # 空白なし - - -def S(): -    return sys.stdin.readline().rstrip() - - -def LS(): -    return list(sys.stdin.readline().rstrip().split())  # 空白あり - - -def LS2(): -    return list(sys.stdin.readline().rstrip())  # 空白なし - - -x = I() -q, r = x // 11, x % 11 -ans = 2 * q -if 1 <= r <= 6: -    ans += 1 -elif r >= 7: -    ans += 2 -print(ans) +x = I() - 1 +print((x // 11 * 2 + 1 + (x % 11) // 6))