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