#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]; }

#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]; }

#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]; }