while""do t=io.read()loadstring("n="..t:gsub(":(..):","*3600+%1*60+"))()print(t..os.date("!=%T",n))end