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 CodeAgon17A {
  public static void main(String args[]){
    InputReader in = new InputReader(System.in);
    PrintWriter w = new PrintWriter(System.out);
    int m=in.nextInt(), d=in.nextInt();
    int mx;
    if (m==1 || m==3 || m==5 || m==7 || m==8 || m==10 || m==12){
      mx=31;
    }
    else if (m==2)
      mx=28;
    else
      mx=30;
    int c=0;
    int dif=d-1;
    mx=mx+dif;
    //System.out.println("mx ix : "+mx);
    c=mx/7;
    if (mx%7!=0)
      c++;
    w.println(c);
    w.close();
  }
static class Cart implements Comparable<Cart>{
  int boxes;
  int sticks;
  Cart(int b,int s){
    this.boxes=b;
    this.sticks=s;
  }
  public int compareTo(Cart o){
    return Integer.compare(o.sticks,this.sticks);
  }
}
static class InputReader {

  private final InputStream stream;
  private final byte[] buf = new byte[8192];
  private int curChar, snumChars;
  private SpaceCharFilter filter;

  public InputReader(InputStream stream) {
    this.stream = stream;
  }

  public int snext() {
    if (snumChars == -1)
    throw new InputMismatchException();
    if (curChar >= snumChars) {
      curChar = 0;
      try {
        snumChars = stream.read(buf);
      } catch (IOException e) {
        throw new InputMismatchException();
      }
      if (snumChars <= 0)
      return -1;
    }
    return buf[curChar++];
  }

  public int nextInt() {
    int c = snext();
    while (isSpaceChar(c)) {
      c = snext();
    }
    int sgn = 1;
    if (c == '-') {
      sgn = -1;
      c = snext();
    }
    int res = 0;
    do {
      if (c < '0' || c > '9')
      throw new InputMismatchException();
      res *= 10;
      res += c - '0';
      c = snext();
    } while (!isSpaceChar(c));
    return res * sgn;
  }

  public long nextLong() {
    int c = snext();
    while (isSpaceChar(c)) {
      c = snext();
    }
    int sgn = 1;
    if (c == '-') {
      sgn = -1;
      c = snext();
    }
    long res = 0;
    do {
      if (c < '0' || c > '9')
      throw new InputMismatchException();
      res *= 10;
      res += c - '0';
      c = snext();
    } while (!isSpaceChar(c));
    return res * sgn;
  }

  public int[] nextIntArray(int n) {
    int a[] = new int[n];
    for (int i = 0; i < n; i++) {
      a[i] = nextInt();
    }
    return a;
  }

  public String readString() {
    int c = snext();
    while (isSpaceChar(c)) {
      c = snext();
    }
    StringBuilder res = new StringBuilder();
    do {
      res.appendCodePoint(c);
      c = snext();
    } while (!isSpaceChar(c));
    return res.toString();
  }

  public String nextLine() {
    int c = snext();
    while (isSpaceChar(c))
    c = snext();
    StringBuilder res = new StringBuilder();
    do {
      res.appendCodePoint(c);
      c = snext();
    } while (!isEndOfLine(c));
    return res.toString();
  }

  public boolean isSpaceChar(int c) {
    if (filter != null)
    return filter.isSpaceChar(c);
    return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
  }

  private boolean isEndOfLine(int c) {
    return c == '\n' || c == '\r' || c == -1;
  }

  public interface SpaceCharFilter {
    public boolean isSpaceChar(int ch);
  }
}

}
