title: I have an excel sheet of 85,038 rows, how do I randomly select 10% of these?
body: <p>There are 5 columns (first name, email, userid, app name) and I want to randomly select 10% of these rows and export it eventually to a CSV while maintaining the column headers i listed above. thanks a million</p>