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

public class Main29 {
	
	public static void main(String[] args) throws IOException
	{
		BufferedReader in;
		File file = new File("in");
		StringBuilder out = new StringBuilder("");
		if (file.exists()) {
			in = new BufferedReader(new FileReader(file));
		} else {
			in = new BufferedReader(new InputStreamReader(System.in));
		}
		String lines[];

		int ds[] = new int[]{ 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
		int m, d;
		lines = in.readLine().split("\\s+");
		m = Integer.parseInt(lines[0]);
		d = Integer.parseInt(lines[1]);
		int l = 8-d;
		int r = ds[m-1]-l;
		int dd = r/7;
		if ( r % 7 == 0 )
		{
			System.out.println(1+dd);
		}
		else
		{
			System.out.println(2+dd);
		}
	}
	
	public static int[] readInts(String line)
	{
		String lines[] = line.split("\\s+");
		int result[] = new int[lines.length];
		for( int i = 0; i < lines.length ; i++ )
		{
			result[i] = Integer.parseInt(lines[i]);
		}
		return result;
	}
}
