import java.text.*;

static SimpleDateFormat simpleDateFormat_UTC(S format) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(TimeZone.getTimeZone("UTC"));
  ret sdf;
}