static int milliseconds(Calendar c) {
  ret c.get(Calendar.MILLISECOND);
}