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