internal class Program
{
private static void Main(string[] args)
{
string name = Console.ReadLine();
var convert = Convert.ToInt32(name);
int strlength = name.Length;
if(strlength > 10)
{
char[] split = name.ToCharArray();
int charCount = strlength - 2;
int lastChar = split.Length - 1;
Console.WriteLine("{0}{1}{2}", split[0], charCount, name[lastChar]);
}
else
{
Console.WriteLine(name);
}
}
}
internal class Program
{
private static void Main(string[] args)
{
string name = Console.ReadLine();
var convert = Convert.ToInt32(name);
int strlength = name.Length;
if(strlength > 10)
{
char[] split = name.ToCharArray();
int charCount = strlength - 2;
int lastChar = split.Length - 1;
Console.WriteLine("{0}{1}{2}", split[0], charCount, name[lastChar]);
}
else
{
Console.WriteLine(name);
}
}
}