#include <bits/stdc++.h>
int main() {
  int ct[26] = {0}, t1 = 0, t2 = 0;
  char c[26];
  char s[105000];
  scanf("%s", s);
  int k;
  scanf("%d", &k);
  int i, j, l;
  for (i = 0; s[i] != '\0'; i++) {
    ct[s[i] - 'a']++;
  }
  for (i = 0; i < 26; i++) {
    c[i] = 'a' + i;
    if (ct[i]) {
      t1++;
    }
  }
  for (i = 0; i < 25; i++) {
    int flat = 0;
    for (j = 0; j < 25 - i; j++) {
      if (ct[j] > ct[j + 1]) {
        int t = ct[j];
        ct[j] = ct[j + 1];
        ct[j + 1] = t;
        char ch = c[j];
        c[j] = c[j + 1];
        c[j + 1] = ch;
        flat = 1;
      }
    }
    if (!flat) {
      break;
    }
  }
  for (i = 0; i < 26; i++) {
    if (!ct[i]) {
      continue;
    }
    if (k >= ct[i]) {
      k -= ct[i];
      for (l = 0; s[l] != '\0'; l++) {
        if (s[l] == c[i]) {
          s[l] = '0';
        }
      }
      t2++;
    } else {
      break;
    }
  }
  printf("%d\n", t1 - t2);
  for (i = 0; s[i] != '\0'; i++) {
    if (s[i] != '0') {
      printf("%c", s[i]);
    }
  }
  printf("\n");
  return 0;
}
