include<string.h>

define MAXSIZE 100

int main() {

int n;
char str[MAXSIZE];

scanf("%d", &n);

while (n--) {
    scanf("%s", str);

    int len = strlen(str);

    if (len > 10) {
        printf("%c%d%c  

",str[0],len - 2,str[len-1]); //输出第一个字母和最后一个字母，中间是长度减2的数字。

    } else {   //如果长度小于等于10，则直接输出原字符串。 
        printf("%s  

",str);

    }  
}  

return 0;  

}