f

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