I need to randomly select one of the numbers out of the following group: 1, 5, 7, 8. Is there a formula I can use?