
  CONST
    cfc$min_ecc = (($INTEGER ('C') * 100(16)) + $INTEGER ('F')) * 1000000(16),
    cfc$max_ecc = cfc$min_ecc + 9999;
