import java.text.SimpleDateFormat;

static long parseYYYYminusMMminusDD(S s) ctex {
  ret new SimpleDateFormat("yyyy-MM-dd").parse(s).getTime();
}