my $lines = <F3>;