($in_filename, $out_filename) = @ARGV;
$out_filename = $in_filename if ( !($out_filename) ); 
$ins_filename = "$in_filename.txt";  		
system ("platon -c $txt_filename");