{"raw_statement":[{"iden":"problem statement","content":"The word `internationalization` is sometimes abbreviated to `i18n`. This comes from the fact that there are $18$ letters between the first `i` and the last `n`.\nYou are given a string $s$ of length at least $3$ consisting of lowercase English letters. Abbreviate $s$ in the same way."},{"iden":"constraints","content":"*   $3 ≤ |s| ≤ 100$ ($|s|$ denotes the length of $s$.)\n*   $s$ consists of lowercase English letters."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$s$"},{"iden":"sample input 1","content":"internationalization"},{"iden":"sample output 1","content":"i18n"},{"iden":"sample input 2","content":"smiles"},{"iden":"sample output 2","content":"s4s"},{"iden":"sample input 3","content":"xyz"},{"iden":"sample output 3","content":"x1z"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}