What would be a good way to generate 7 unique random numbers between 1 and 10. I can't have any duplicates. I could write a chunk of PHP to do this (using rand() and pushing used numbers onto an array) but there must be a quick way to do it.
any advice would be great.