object Main{
  def main(args: Array[String]){
    val input=io.Source.stdin.getLines().mkString("\n")
    println(solve(input).trim())
  }

  def solve(input:String):String={
    input.toList.head + (input.toList.length-2).toString + input.toList.last
  }
}
