main(a,b){setenv("TZ","right/GB");for(;scanf("%d",b)>0;puts())strftime(&a,b,"%F %X",gmtime(b));}