
  CONST
    pt          = 'PT',
    ptc$min_ecc = (($INTEGER ('P') * 100(16)) + $INTEGER ('T')) * 1000000(16),
    ptc$max_ecc = ptc$min_ecc + 9999;
