#include <bits/stdc++.h>
#include <string>
using namespace std;
string acortarP(string p) {
int longitud = p.length();
if (longitud <= 4) {
return p;
} else {
string resultado = p.substr(0, 1);
resultado += to_string(longitud - 2);
resultado += p.substr(longitud - 1);
return resultado;
}
}
int main() {
string p;
cin >> p;
string pAcortada = acortarP(p);
cout << pAcortada << endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNpbmNsdWRlIDxzdHJpbmc+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKc3RyaW5nIGFjb3J0YXJQKHN0cmluZyBwKSB7CiAgaW50IGxvbmdpdHVkID0gcC5sZW5ndGgoKTsKICBpZiAobG9uZ2l0dWQgPD0gNCkgewogICAgcmV0dXJuIHA7CiAgfSBlbHNlIHsKICAgIHN0cmluZyByZXN1bHRhZG8gPSBwLnN1YnN0cigwLCAxKTsKICAgIHJlc3VsdGFkbyArPSB0b19zdHJpbmcobG9uZ2l0dWQgLSAyKTsKICAgIHJlc3VsdGFkbyArPSBwLnN1YnN0cihsb25naXR1ZCAtIDEpOwogICAgcmV0dXJuIHJlc3VsdGFkbzsKICB9Cn0KCmludCBtYWluKCkgewogIHN0cmluZyBwOwogIGNpbiA+PiBwOwoKICBzdHJpbmcgcEFjb3J0YWRhID0gYWNvcnRhclAocCk7CiAgY291dCA8PCBwQWNvcnRhZGEgPDwgZW5kbDsKCiAgcmV0dXJuIDA7Cn0=