Editing: random.pyc