randoms for lect17