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