fun main(args: Array<String>) {

    // B - i18n
    val str = readLine()
    // 文字列先頭1文字
    val begin = str!!.substring(0, 1)
    // 文字列末尾1文字
    val end = str!!.substring(str!!.length - 1)

    println(begin + (str!!.length - 2) + end)
}
