($in_filename, $out_filename) = @ARGV;
$out_filename = $in_filename if ( !($out_filename) );
for my $num (1..20) { system ("platon", "-c", "$in_filename$num.txt") }