#include<stdio.h>
int main()
{
    int a,x,i,count=0,j;
    scanf("%d",&a);
    for(j=0;j<=a;j++)
    {
    char str[1000];
    gets(str);
    x=strlen(str);
    if(x>=10)
    {
        for(i=1;i<=x-2;i++)
        {
            count=count+1;
        }
        printf("%c%d%c\n",str[0],count,str[x-1]);
        count=0;

    }
    else
    {
        printf("%s\n",str);
    }
    }

}