new file: batch.pl