function sync_date(form) {
  var start_time = form["START-TIME"].value;
  var end_time = form["END-TIME"].value;
  if ((start_time.length == 10) && (end_time.length == 10) && (end_time < start_time))
    form["END-TIME"].value = start_time;
}