#include<bits/stdc++.h>
using namespace std;
int main()
{
    char a[100];
    scanf("%s",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;
    }
}
