#include <time.h>
main(){ time_t x; strftime("",1,"",x);}