Time Arithmetic by Hendrik

import re,time
while 1:r=raw_input();h,m,s,i,n,t=map(int,re.split('\D',r));print r+'='+time.ctime(60*(m+n+60*(h+i-9))+s+t)[11:19]

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return top