题解（AYWQ

水几题放松一下
不务正业

#include<bits/stdc++.h>//像啥字
using namespace std;
string sss(string s) {
	int len = s.size();
	if (len <= 10)return s;
	else return s[0] + to_string(len - 2) + s[len - 1];
}
int main() {
	string s;
	cin >> s;
	cout << sss(s);
	return 0;
}