for(;r=readline();)print(r+'='+(new Date(1e3*eval(r.replace(/:(..):/g,'*9e4+$1*60+270')))+r).slice(16,24))