#include <bits/stdc++.h>
int main(int argc, char *argv[]) {
  int t, i = 0, j = 0, k;
  scanf("%d", &t);
  if (t >= 1 && t <= 100) {
    while (i < t) {
      char word[100];
      scanf("%s", word);
      k = strlen(word);
      if (k <= 10)
        printf("%s\n", word);
      else {
        printf("%c%d%c\n", word[j], k - 2, word[k - 1]);
      }
      i++;
    }
  }
  return 0;
}
