import time
while 1:t=raw_input();print t+'='+time.ctime(sum(60**(2-i%3)*int(t[3*i:][:2])for i in range(6))+54e3)[11:-5]