Community

Hello, I've searched for the answer to this, but I can't seem to find just what I'm looking for. I have a text file of 39,000 lines - they're text data records. I want to select and extract 1,000 random lines from this file into another text file. Is there some simple way I can do this? Thanks for ...