#include <iostream>
#include <string>

using namespace std;
int main()
{
	string str, result;
	cin >> str;

	result = str;
	if (str.size() > 10)
	{
		result = str[0];
		result += to_string(str.size() - 2);
		result += str[(str.size() - 1)];
	}
	cout << result << endl;
	return 0;
}