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