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