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.*;
import java.util.*;

public class petr
{
	public static void main(String Args[])throws IOException
	{
		InputStreamReader is = new InputStreamReader(System.in);
		BufferedReader bf = new BufferedReader(is);
		
		String tokens[] = new String[2];
		tokens = bf.readLine().split(" ");
		int m = Integer.parseInt(tokens[0]);
		int d = Integer.parseInt(tokens[1]);
		int type = 1;
		
		if(m<=7)
		{
			if(m%2==0)
			{
				type=1;
			}
			else
			{
				type=2;
			}
		}
		else
		{
			if(m%2==0)
			{
				type=2;
			}
			else
			{
				type=1;
			}
		}
		
		if(m==2)
		{
			type=3;
		}
		if(type==2)
		{
			if(d>=6)
			{
				System.out.println(6);
			}
			else
			{
				System.out.println(5);
			}
		}
		else if(type==1)
		{
			if(d==7)
			{
				System.out.println(6);
			}
			else
			{
				System.out.println(5);
			}
		}
		else
		{
			if(d==1)
			{
				System.out.println(4);
			}
			else
			{
				System.out.println(5);
			}
		}
		
	}
	
}