A - Day of Takahashi

Time Limit: 2 sec / Memory Limit: 256 MB

配点:100

問題文

AtCoder 王国では, 55 日のような月の数と日の数が同じ日を「高橋」と言う.
201811 日から 2018ab 日までに, 「高橋」は何日あるか.
ただし, AtCoder 王国ではグレゴリオ暦を利用しているものとする.

制約

  • a1 以上 12 以下の整数
  • b1 以上 31 以下の整数
  • 2018ab 日はグレゴリオ暦において正しい日付である.

入力

入力は以下の形式で標準入力から与えられる.

a b

出力

201811 日から 2018ab 日までに「高橋」は何日あるか、出力しなさい。


入力例 1

5 5

出力例 1

5

11 日, 22 日, 33 日, 44 日, 55 日, 合計 5 日が「高橋」です.


入力例 2

2 1

出力例 2

1

11 日のみが「高橋」です.


入力例 3

11 30

出力例 3

11

1/1, 2/2, 3/3, 4/4, 5/5, 6/6, 7/7, 8/8, 9/9, 10/10, 11/11 の, 合計 11 日です.

Score: 100 points

Problem Statement

In AtCoder Kingdom, Gregorian calendar is used, and dates are written in the "year-month-day" order, or the "month-day" order without the year.
For example, May 3, 2018 is written as 2018-5-3, or 5-3 without the year.

In this country, a date is called Takahashi when the month and the day are equal as numbers. For example, 5-5 is Takahashi.
How many days from 2018-1-1 through 2018-a-b are Takahashi?

Constraints

  • a is an integer between 1 and 12 (inclusive).
  • b is an integer between 1 and 31 (inclusive).
  • 2018-a-b is a valid date in Gregorian calendar.

Input

Input is given from Standard Input in the following format:

a b

Output

Print the number of days from 2018-1-1 through 2018-a-b that are Takahashi.


Sample Input 1

5 5

Sample Output 1

5

There are five days that are Takahashi: 1-1, 2-2, 3-3, 4-4 and 5-5.


Sample Input 2

2 1

Sample Output 2

1

There is only one day that is Takahashi: 1-1.


Sample Input 3

11 30

Sample Output 3

11

There are eleven days that are Takahashi: 1-1, 2-2, 3-3, 4-4, 5-5, 6-6, 7-7, 8-8, 9-9, 10-10 and 11-11.