#include <iostream>
#include <string.h>
using namespace std;

int main() {
  int n;
  cin >> n;
  for (int i = 0; i < n; i++) {
    string s;
    cin >> s;
    int length = s.length();
    char first = s.front();
    char last = s.back();
    if (length > 10) {
      cout << first << length << last << endl;
    } else {
      cout << s << endl;
    }
  }
}