# -*- coding: utf-8 -*-
# メモ
#
# 100年ごと5ずれるが　最後の100年だけ6ずれる(400年ごとにうるう年）
# 400年ごとに 21ずれる (周期性
# 7月23日は12月31日と同じ曜日であるという事実に基づいている。
#　日月火・・・ が0,1,2,3,4,5,6,7となる。
from collections import Counter


def solve(N, start):
    diff = 0
    countY100 = Counter()
    for i in xrange(1, 99 + 1):
        if i % 4 == 0:
            diff += 2
        else:
            diff += 1
        diff %= 7
        countY100[diff] += 1

    # 100年目のうるう年じゃない処理
    diff += 1
    countY100[diff] += 1

    nextDiff = 0
    countY400 = Counter()

    # 400年分計算する
    for _ in xrange(4):

        # 100年ごとセットで繰り返す
        for j in xrange(7):
            countY400[(j + nextDiff) % 7] += countY100[j]

        nextDiff += diff
        nextDiff %= 7


    # 400年ごとのうるう年の処理
    countY400[(nextDiff + 1) % 7] += 1
    countY400[nextDiff] -= 1

    M = N
    repY400 = (M // 400)
    M %= 400

    repY100 = M // 100
    M %= 100

    repY1 = M

    resultCount = Counter()

    # 400年ごとに曜日は繰り返される。
    if repY400 > 0:
        for i in xrange(7):
            resultCount[i] = countY400[i] * repY400

    # 100年ごとに曜日を5つずらす
    diff = 0
    for _ in xrange(repY100):
        for j in xrange(7):
            resultCount[(j + diff) % 7] += countY100[j]

        diff += 5

    # 1~99年はシミュレーション
    for i in xrange(1, repY1 + 1):
        if i % 4 == 0:
            diff += 2
        else:
            diff += 1

        diff %= 7
        resultCount[diff] += 1


    # ちょい面倒なので
    # 2014 ~ 1 のぶんをシミュレーションで引く
    day = 0
    for year in xrange(1, start + 1):

        if year % 400 == 0:
            day += 366
        elif year % 100 == 0:
            day += 365
        elif year % 4 == 0:
            day += 366
        else:
            day += 365

        resultCount[day % 7] -= 1

    return resultCount

N = int(raw_input())
start = 2014
resultCount = solve(N, start)
print resultCount[3]