ファイルを読み込んだ後に数字を入力し、その数字の行数分、読み取ったファイルからランダムに抜き出して
別のファイルに書き込むにはどうすればいいでしょうか？