for(;;)print(readline().replace(/[1-9]\d*/g,function(x)++x))