public static String getDateStamp(CalendarDate date) {
   return Util.getDateStamp(date.getCalendar());
 }
 public static String getDateString(CalendarDate date, int f) {
   return getDateString(date.getDate(), f);
 }