#include <bits/stdc++.h>
using namespace std;
int n, k;
char m[1000001];
int main() {
  scanf("%d", &n);
  scanf("%d%s", &k, &m);
  for (int i = 0; i < n && k; i++) {
    if (m[i] == '4' && m[i + 1] == '7' && m[i + 2] == '7' && !(i & 1))
      k = k % 2;
    if (k && m[i] == '4' && m[i + 1] == '7') {
      if (i & 1)
        m[i] = m[i + 1];
      else
        m[i + 1] = m[i];
      i -= 2;
      k--;
    }
  }
  printf("%s", m);
  return 0;
}
