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