
CONST
  rhc$min_ecc = (($INTEGER ('R') * 100(16)) + $INTEGER ('H')) * 1000000(16),
  rhc$max_ecc = rhc$min_ecc + 9999;

