20130322: random sample without replacement in SAS