#include <iostream>
using namespace std;
int main() {
string s;
cin >> s;
for(char c : s){
if(isdigit(c)){
cout << " ";
return 0;
}
}
int n = s.size();
if(n>10){
cout << s[0] << n-2 << s[n-1];
}
else{
cout << s;
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglzdHJpbmcgczsKCWNpbiA+PiBzOwoJZm9yKGNoYXIgYyA6IHMpewoJCWlmKGlzZGlnaXQoYykpewoJCQljb3V0IDw8ICIgIjsKCQkJcmV0dXJuIDA7CgkJfQoJfQoJaW50IG4gPSBzLnNpemUoKTsKCWlmKG4+MTApewoJY291dCA8PCBzWzBdIDw8IG4tMiA8PCBzW24tMV07Cgl9CgllbHNlewoJCWNvdXQgPDwgczsKCX0KCXJldHVybiAwOwp9