using System; using System.Collections.Generic; using System.Text; class Program { public void Proc() { Reader.IsDebug = false; long maxYear = long.Parse(Reader.ReadLine()); long ans = this.CountAns(2015, Math.Min(maxYear, 2014 + 2800), 0); long per2800 = ans; if (maxYear > 2014 + 2800) { long year = 2014 + 2800; while (year + 2800 <= maxYear) { ans += per2800; year += 2800; } if (year < maxYear) { ans += CountAns(year + 1, maxYear, 0); } } Console.WriteLine(ans); } private long CountAns(long fromYear, long ToYear, int amari) { int ama = amari; int ans = 0; long year = fromYear; while (year <= ToYear) { bool isUru = false; if (year % 400 == 0) { isUru = true; } else if (year % 100 == 0) { isUru = false; } else if (year % 4 == 0) { isUru = true; } int days = 365 + ama; if (isUru) { days++; } ama = days % 7; if (ama == 0) { ans++; } year++; } return ans; } public class Reader { public static bool IsDebug = true; private static String PlainInput = @" 3253406655 "; private static System.IO.StringReader Sr = null; public static string ReadLine() { if (IsDebug) { if (Sr == null) { Sr = new System.IO.StringReader(PlainInput.Trim()); } return Sr.ReadLine(); } else { return Console.ReadLine(); } } public static int[] GetInt(char delimiter = ' ', bool trim = false) { string inptStr = ReadLine(); if (trim) { inptStr = inptStr.Trim(); } string[] inpt = inptStr.Split(delimiter); int[] ret = new int[inpt.Length]; for (int i = 0; i < inpt.Length; i++) { ret[i] = int.Parse(inpt[i]); } return ret; } } static void Main() { Program prg = new Program(); prg.Proc(); } }