[grlass]

Random doesn't mean unweighted. Choose a number at random from this list [5, 10, 5, 12, 8, 5].