from datetime import date


def main():
    n = int(input())
    ans = 0
    for y in range(2015, n + 1):
        ans += date(y, 7, 23).isoweekday() == 3
    print(ans)
    
if __name__ == '__main__':
    main()