#include<stdio.h>
#include<string.h>
int main()
{
int n = 0;
char a[100];
scanf("%d", &n);
for(int i = 0; i < n; i++)
{
scanf("%s", a);
if(strlen(a) < 10)
{
printf("%s\n", a);
}
else
{
printf("%c%d%c\n", a[0], strlen(a)-2, a[strlen(a)-1]);
}
}
return 0;
}



京公网安备 11010502036488号