보드게임에서 주사위 2개를 동시에 굴려 같은 숫자가 나오면 '더블'이라고 합니다.

시드와 굴릴 횟수 N이 주어질 때, N번 굴리는 동안 더블이 몇 번 나왔는지 출력해봅시다.

입력

첫 번째 줄에 시드 값이 주어집니다. (1 ≤ seed ≤ 10000) 두 번째 줄에 굴릴 횟수 N이 주어집니다. (1 ≤ N ≤ 20)

출력

더블이 나온 횟수를 출력합니다.

예제

예제 1

입력:

42
10

출력:

3

설명: seed=42로 주사위 2개를 10번 굴릴 때 더블이 3번 나옵니다.

예제 2

입력:

10000
8

출력:

0

설명: seed=10000으로 8번 굴릴 때는 더블이 한 번도 안 나옵니다.

힌트

1. 반복문 안에서 random.randint(1, 6)을 두 번 호출해 각각 주사위 값을 구합니다.
2. 두 값이 같으면 count를 1 증가시킵니다.
3. 매번 새 주사위를 굴리므로 randint를 반복마다 두 번씩 호출해야 합니다.