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