For information on batch processing see the file BATCH
