for(e=/[0-:]{8}/g;s=readline();)print(s+"="+e.exec(new Date(eval(s.replace(e," +new Date('T$&')-27e6")))))