my $file = $ARGV[0];