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