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