(pr([0 3 214](rand-int 3)))