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