Rename File: randnum.py

File Manager