#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