function Main(s) {
	var cText = s.length - 2;
	var sText = s.substr(0,1);
	var eText = s.substr(s.length-1,1);
	//出力
	console.log(sText+cText+eText);
}

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