function Main(input) {
  var mae;
  var ato;
  input = input.split("");
  mae = input.shift();
  ato = input.pop();
  console.log(mae + input.length + ato);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));
