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