整理活动日历时，小婷老师告诉小泽，有些月份和日期数字相同的日子很特别。小泽准备统计，从年初到指定日期一共出现了多少个这样的日子。

AtCoder 王国使用公历，日期写成“年-月-日”，省略年份时写成“月-日”。例如 2018 年 5 月 3 日写作 2018-5-3 或 5-3。

在这个国家，月份与日期的数值相等时，该日期称为“小泽日”，例如 5-5。请计算从 2018-1-1 到 2018-a-b（含两端）一共有多少个小泽日。

输入格式

输入一行两个整数 $a,b$，表示日期 2018-a-b。

输出格式

输出这段时间内高桥日的数量。

5 5

5

2 1

1

11 30

11

数据范围与约定

• $1\le a\le12$
• $1\le b\le31$
• 2018-a-b 是公历中的合法日期