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