To enable rapid access of specific stars in the catalogue, WCSTools software numbers each star using its Guide Star region number (0001-9537) and a five-digit star number within each region, separated by a decimal point.
A Perl program for extracting data from the catalogue is available from http://archive.eso.org/ASTROM/.