void main() {
    string s = readln.chomp;
    writeln(s[0], s.length - 2, s[$-1]);
}

import std.stdio;
import std.string;
import std.array;
import std.conv;
import std.algorithm;
import std.range;
import std.math;
import std.numeric;
import std.container;
import std.typecons;
import std.ascii;
import std.uni;