print(readline().replace(/\w+/g,function(s)s.length+"_"+s))