new file:   grep.py