s[];main(){putenv("TZ=right/UTC");for(;~scanf("%d",s);puts(s))strftime(s,20,"%F %T",gmtime(s));}