#include <iostream> #include <string> using namespace std; int main() { string s; cin >> s; int n = s.length(); if (n <= 10) { cout << s << endl; } else { cout << s[0] << (n - 2) << s.back() << endl; } return 0; }