Update randtxt.py