(pr:rand-choice 5 9 1)