Random 14
lean.redurm