Finding 10 random records from mySQL table?

I am searching for records that will have hundreds of results but would like the output to just be say 15 randomly not all 800.

$result = mysql_query("SELECT playername FROM playerstats WHERE level = 37");
$row = mysql_fetch_array($result);

The code above will output over 800 results but I want each time the page is loaded it to just randomly pick 15 of the records and display them.

Any help would be great thank you

 

just an idea (I never use random) :

- loop 15 times
- each time, get the record id from that 800 records

maybe another good solution below me:

 

$result = mysql_query("SELECT playername FROM playerstats WHERE level = 37 ORDER BY RAND() LIMIT 15");

PHP:

Regards