sas select 10 random obs from a table

I have a data set with 1000 OBS and I wish to select 10 random OBS. To my understanding, I need to use RANUNI or RAND, but I can't figure out how to implement.

tanks