一年当中，周六、周日和节假日都会休息，那么一年当中休息日一共有多少天呢？

已知某个国家也分为闰年和平年，日历中每年节假日信息如下：

• 元旦（$1$ 月 $1$ 日），放假 $1$ 天；
• 五一（$5$ 月 $1$ 日），放假 $1$ 天；
• 国庆（$10$ 月 $1$ 日），放假 $3$ 天；
• 程序员节（$10$ 月 $24$ 日），放假 $1$ 天；

当节假日和双休日重合时，不调休，双休日不提前也不延后，只算一天休息日。你已经知道了年份和当年 $1$ 月 $1$ 日是星期几，请你计算出当年一共有多少休息日。

输入为两个空格隔开的整数 $year, day (1 \leq year\leq 3000, 1 \leq day \leq 7)$，分别表示年份和当年 $1$ 月 $1$ 日是星期几。

输出为一个整数，是当年 $1$ 月 $1$ 日到 $12$ 月 $31$ 日的休息日数目。