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