#include <bits/stdc++.h>
int main() {
  int i, n, len;
  char a[100];
  scanf("%d", &n);
  for (i = 1; i <= n; i++) {
    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);
    }
  }
}
