module Main where main :: IO () main = readLn >>= print . solve solve :: Integer -> Integer solve n = loop [1..400] 0 0 * a + loop [1..b] 0 0 where (a, b) = (n-2014) `divMod` 400 loop :: [Integer] -> Integer -> Integer -> Integer loop [] _ ans = ans loop (x:xs) w ans = loop xs w' ans' where w' = (w + d (2014+x)) `mod` 7 ans' | w' == 0 = ans + 1 | otherwise = ans isLeap :: Integer -> Bool isLeap y | y `mod` 400 == 0 = True | y `mod` 100 == 0 = False | y `mod` 4 == 0 = True | otherwise = False d :: Integer -> Integer d y | isLeap y = 366 | otherwise = 365