题目描述

每年 $11$ 月 $11$ 日，各大网上商店都会有促销活动，因此大家都希望 $11$ 月 $11$ 日在周末，就可以更愉快地购物啦。请你写一个程序计算一段时间中，$11$ 月 $11$ 日是周末（周六或周日）的数量。 以下关于日期的定义和事实能帮到你：

• $1900$ 年 $1$ 月 $1$ 日是星期一。
• 每年的 $1, 3, 5, 7, 8, 10, 12$ 月有 $31$ 天；$4, 6, 9, 11$ 月有 $30$ 天；闰年的 $2$ 月有 $29$ 天，非闰年的 $2$ 月有 $28$ 天。
• 闰年的计算方法：不能被 $100$ 整除的年份称为普通年。普通年能被 $4$ 整除的为闰年，因此$2004$ 年是闰年，$1999$ 年不是闰年；能被 $100$ 整除的年份称为世纪年。世纪年能被 $400$ 整除的是闰年，因此 $2000$ 年是闰年，$1900$ 年不是闰年。

输入格式

输入一行两个整数 $x,y$，代表需要计算的起止年份。

输出格式

输出一个整数，第 $x$ 年到第 $y$ 年中 $11$ 月 $11$ 日是周末的年数（包括第 $x$ 年和第 $y$ 年）。

2018 2018

1

2018 2100

23

提示

样例解释

样例 $1$

$2018$ 年 $11$ 月 $11$ 日是星期日。

样例 $2$

$2018$ 年到 $2100$ 年之间共有 $23$ 个 $11$ 月 $11$ 日是周末。

数据规模

所有数据满足 $1900 ≤ x ≤ y ≤ 3000$。

本题原始满分为 $15\text{pts}$。