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