Problem: Walking along a riverside, Mino silently takes a note of something.

"Time," Mino thinks aloud.

"What?"

"Time and tide wait for no man," explains Mino. "My name, taken from the river, always reminds me of this."

"And what are you recording?"

"You see it, tide. Everything has its own period, and I think I've figured out this one," says Mino with confidence.

Doubtfully, Kanno peeks at Mino's records. 

The records are expressed as a string s of characters '0', '1' and '.', where '0' denotes a low tide, '1' denotes a high tide, and '.' denotes an unknown one (either high or low).

You are to help Mino determine whether it's possible that after replacing each '.' independently with '0' or '1', a given integer p is not a period of the resulting string. In case the answer is yes, please also show such a replacement to Mino.

In this problem, a positive integer p is considered a period of string s, if for all 1 ≤ i ≤ \lvert s \rvert - p, the i-th and (i + p)-th characters of s are the same. Here \lvert s \rvert is the length of s.

Input

The first line contains two space-separated integers n and p (1 ≤ p ≤ n ≤ 2000) — the length of the given string and the supposed period, respectively.

The second line contains a string s of n characters — Mino's records. s only contains characters '0', '1' and '.', and contains at least one '.' character.

Output

Output one line — if it's possible that p is not a period of the resulting string, output any one of such strings; otherwise output "No" (without quotes, you can print letters in any case (upper or lower)).

Examples

Input

10 7
1.0.1.0.1.


Output

1000100010


Input

10 6
1.0.1.1000


Output

1001101000


Input

10 9
1........1


Output

No

Note

In the first example, 7 is not a period of the resulting string because the 1-st and 8-th characters of it are different.

In the second example, 6 is not a period of the resulting string because the 4-th and 10-th characters of it are different.

In the third example, 9 is always a period because the only constraint that the first and last characters are the same is already satisfied.

Note that there are multiple acceptable answers for the first two examples, you can print any of them.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const long long N = 2e3;
vector<pair<long long, long long>> poses[N];
bool used[N][N];
long long c = 0;
signed main() {
  long long n, p;
  cin >> n >> p;
  string s;
  cin >> s;
  long long t = '.';
  for (long long t = 0; t < n; t++) {
    poses[t % p].push_back({s[t], t});
  }
  for (long long i = 0; i < p; i++) {
    if (i + p < n) {
      sort(poses[i].begin(), poses[i].end());
      reverse(poses[i].begin(), poses[i].end());
      for (long long j = 0; j < poses[i].size(); j++) {
        if (poses[i][j].first == '0') {
          used[c]['0'] = 1;
        }
        if (poses[i][j].first == '1') {
          used[c]['1'] = 1;
        }
        if (poses[i][j].first == '.') {
          if (!used[c]['0']) {
            s[poses[i][j].second] = '0';
            used[c]['0'] = 1;
          } else {
            s[poses[i][j].second] = '1';
            used[c]['1'] = 1;
          }
        }
      }
      c++;
    }
  }
  for (long long g = 0; g < s.size(); g++)
    if (s[g] == '.') s[g] = '1';
  for (long long i = 0; i < p; i++) {
    long long summ = 0;
    long long c = 0;
    for (long long i1 = i; i1 < n; i1 += p) {
      summ += s[i1] - 48;
      c++;
    }
    if ((summ % c)) {
      cout << s << endl;
      return 0;
    }
  }
  cout << "No" << endl;
}