#include<bits/stdc++.h>
using namespace std;
int main()
{
    char s[100];
    gets(s);
    int l=strlen(s);
    int i;
    char a=s[l-1];
    if(l>=3 && l<=100)
    {
        for(i=1; i<l-2; i++)
        {

        }

        cout<<s[0];
        cout<<i;
        cout<<a;

    }
    else
    {
        cout<<s;
    }
    return 0;
}
