#include<stdio.h>
#include<string.h>

int main()
{
    char str[1000]= {'\0'};
    int i, input, l;

    scanf("%d", &input);
    getchar();

    for(i=1;i<=input;i++)
    {

     gets(str);

     l= strlen(str);

     if (l<11)
      printf("%s\n",str);

     else
      printf("%c%d%c\n",str[0], l-2, str[l-1]);


    }


return 0;
}