#include<stdio.h>
int main()
{
    int n,i=0,j=0,k=0,l=0;
    scanf("%d",&n);
    char s1[80];
    char s2[80];
    char s3[80];
    char s4[80];

    scanf("%s",&s1);
    scanf("%s",&s2);
    scanf("%s",&s3);
    scanf("%s",&s4);

    while(s1[i]!='\0')
    {
        i++;
    }
    if(i<=10)
        printf("%s\n",s1);
        else
        printf("%c%d%c\n",s1[0],i-2,s1[i-1]);
        while(s2[j]!='\0')
    {
        j++;
    }
    if(j<=10)
        printf("%s\n",s2);
        else
        printf("%c%d%c\n",s2[0],j-2,s2[j-1]);
        while(s3[k]!='\0')
    {
        k++;
    }
    if(k<=10)
        printf("%s\n",s3);
        else
        printf("%c%d%c\n",s3[0],k-2,s3[k-1]);
        while(s4[l]!='\0')
    {
        l++;
    }
    if(l<=10)
        printf("%s\n",s4);
        else
        printf("%c%d%c\n",s4[0],l-2,s4[l-1]);

    return 0;
}