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