my $line = readline $files[$num];