n = int(input())

print(n // 3 * 7 + n % 7)