(pr"/"('(24 25 32)(rand 3)))