function Main(input) {
  var ans = ""
  var sum = 0;
  for (var i = 0; i < input.length; i++) {
    if (i === 0) {
      ans += input[i];
    } else if (i === input.length - 1) {
      ans += String(sum);
      ans += input[i];
    } else {
      sum++;
    }

  }
  console.log(ans);
}

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