#include <stdio.h>
#include <time.h>

main ()
{
  tzset();
  printf("std:%s\ndst:%s\n",tzname[0],tzname[1]);
}