#include<bits/stdc++.h>
using namespace std;
int main()
{
    char a[100];
    while(gets(a))
    {
        int l=strlen(a);
        if(l>=3)
        {
            int k=l-2;
            printf("%c%d%c\n",a[0],k,a[l-1]);
        }
    }
    return 0;
}
