#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;
}