import std.stdio,std.c.stdlib,std.c.time;void main(){int t;char[20]s;for(setenv("TZ","right/GB",1);~scanf("%d",&t);puts=&*s)strftime(&*s,20,"%F %T",gmtime=&t);}