print(readline().replace(/\b0*(:0+)+(?=:0+1)|:0+\B/g,':'))