#include<stdio.h>
int main()

{
 int i=0;
 char s1[105];
 int n;
 scanf("%d",&n);
 for(i=0;i<n;i++)
 {
    scanf("%d",s1[i]);
     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]);
    }

 }

return 0;
}