regex.py