while(1,
  t=random(20);
  print(t);
  if(t==10, break);
  print(random(20))
)