let ip = readline();
let blocks = ip.split(":");
for(let i = 0; i < blocks.length; i++) {
  blocks[i] = blocks[i].replace(/[0]{1,3}/, "");
}
ip = blocks.join(":");
if(ip.match(/[:0]{4,15}/)) {
  ip = ip.replace(ip.match(/[:0]{4,15}/)[0], "::");
}
console.log(ip);