static Timestamp ymdHMSToTimestamp(int year, int month, int day, int hour, int minute, int second, TimeZone tz usual default) ctex {
  ret new Timestamp(simpleDateFormat("y/M/d H:m:s", tz)
    .parse(year + "/" + month + "/" + day + " " + hour + ":" + minute + ":" + second));
}