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

