my $handle = open ReadFile($file);