Petr wants to make a calendar for current month. For this purpose he draws a table in which columns correspond to weeks (a week is seven consequent days from Monday to Sunday), rows correspond to weekdays, and cells contain dates. For example, a calendar for January 2017 should look like on the picture:

<image>

Petr wants to know how many columns his table should have given the month and the weekday of the first date of that month? Assume that the year is non-leap.

Input

The only line contain two integers m and d (1 ≤ m ≤ 12, 1 ≤ d ≤ 7) — the number of month (January is the first month, December is the twelfth) and the weekday of the first date of this month (1 is Monday, 7 is Sunday).

Output

Print single integer: the number of columns the table should have.

Examples

Input

1 7


Output

6


Input

1 1


Output

5


Input

11 6


Output

5

Note

The first example corresponds to the January 2017 shown on the picture in the statements.

In the second example 1-st January is Monday, so the whole month fits into 5 columns.

In the third example 1-st November is Saturday and 5 columns is enough.
import java.io.InputStreamReader;
import java.io.BufferedReader;
import java.util.StringTokenizer;
public class cf393a {
    public static void main(String[]args)throws Exception
    {
       BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        StringTokenizer st=new StringTokenizer(br.readLine());
        int a=Integer.parseInt(st.nextToken());
        int b=Integer.parseInt(st.nextToken());
        if((a==1)||(a==3)||(a==5)||(a==7)||(a==8)||(a==10)||(a==12))
        {
            if(b>5)
                System.out.println(6);
            else
                System.out.println(5);
        }
        else if(a==2)
        {
            if(b==1)
                System.out.println(4);
            else
                System.out.println(5);
        }
        else
        {
            if(b>6)
                System.out.println(6);
            else
                System.out.println(5);
            
        }
    }
}
