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